原创 Servlets和JSP開發原則(下)

Servlets和JSP開發原則(下) <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />  不要“重新發明輪子”，不要一切從頭開始：

2020-07-01 22:18:32

原创 JML起步---使用JML 改進你的Java程序(1)

JML起步 <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />  使用JML 改進你的Java程序   by Joe Verzulli

2020-07-01 22:18:32

原创 JML起步---使用JML 改進你的Java程序(2)

量詞（Quantification）（譯者注：這裏量詞的意思與邏輯學上的量詞意思相近，而不是普通意義上理解的量詞。）<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:of

2018-08-27 17:51:55

原创 J2SE1.5便於開發的新語言特性：Joshua Bloch的訪談錄（5）（完）

<?xml:namespace prefix = v ns = "urn:schemas-microsoft-com:vml" /><?xml:namespace prefix = o ns = "urn:schemas-microsof

2018-08-27 17:51:50 2

原创 用JavaServer Faces開發Web應用(2)

JavaServer Faces應用程序的構成 <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />  一個JavaServer Face

2018-08-27 17:51:32

原创 JML起步---使用JML 改進你的Java程序(4)

異常行爲 前面給出的行爲規範要求調用peek() 和 pop()方法時隊列不能爲空，但其實當隊列空時是有可能會調用這兩個方法的。如果發生這種情況，這兩個方法就會拋出一個NoSuchElementException.異常。我們必須修正我們前

2018-08-27 17:51:28

原创 JML起步---使用JML 改進你的Java程序(3)

副作用 請大家回憶一下代碼段2中pop()方法的後處理代碼： <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />    ensures

2018-08-27 17:51:28 4

原创 Servlets和JSP開發原則(上)

Servlets和JSP開發原則(上)  <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /> Servlet和JSP技術是用Java開發

2018-08-27 17:51:27 1

原创 J2SE1.5便於開發的新語言特性： Joshua Bloch的訪談錄（1）

J2SE1.5便於開發的新語言特性：Joshua Bloch的訪談錄<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /> 原文http:/

2018-08-27 17:51:27 2

原创 JavaOne：Sun致力於讓Java無所不在

JavaOne：Sun致力於讓Java無所不在 <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /> "Java everywhere"

2018-08-27 17:51:26 2

原创 J2SE1.5便於開發的新語言特性：Joshua Bloch的訪談錄（3）

<?xml:namespace prefix = v ns = "urn:schemas-microsoft-com:vml" /><?xml:namespace prefix = o ns = "urn:schemas-microsof

2018-08-27 17:51:26

原创 用JavaServer Faces開發Web應用(1)

用JavaServer Faces開發Web應用 <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />  http://developer

2018-08-27 17:51:25 2

原创 用JavaServer Faces開發Web應用(5)(完)

   9、編譯代碼並運行應用。最後一步是編譯代碼並運行程序。在你的瀏覽器中輸入 http://localhost:8080/hello，你會得到index.html，如下圖：    <?xml:namespace prefix = o n

2018-08-27 17:51:25 2

原创 用JavaServer Faces開發Web應用(3)

構建你自己的應用程序 <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />  這一部分具體講述如何一步一步地創建你自己的JavaServe

2018-08-27 17:51:25 2

原创 JavaOne大會發布《J2EE核心模式》第二版

JavaOne大會上推出了《J2EE核心模式》第二版<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />   http://develop

2018-08-27 17:51:25 2