|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7
Kohala Coast, HI
January 06-January 09
ISBN: 0-8186-8251-5
| ASCII Text | x | ||
| Giovanna Di Marzo Serugendo, Nicolas Guelfi, "Formal Development of Java Based Web Parallel Applications," 2013 46th Hawaii International Conference on System Sciences, vol. 7, pp. 604, Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7, 1998. | |||
| BibTex | x | ||
| @article{ 10.1109/HICSS.1998.649261, author = {Giovanna Di Marzo Serugendo and Nicolas Guelfi}, title = {Formal Development of Java Based Web Parallel Applications}, journal ={2013 46th Hawaii International Conference on System Sciences}, volume = {7}, year = {1998}, issn = {1060-3425}, pages = {604}, doi = {http://doi.ieeecomputersociety.org/10.1109/HICSS.1998.649261}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2013 46th Hawaii International Conference on System Sciences TI - Formal Development of Java Based Web Parallel Applications SN - 1060-3425 SP EP A1 - Giovanna Di Marzo Serugendo, A1 - Nicolas Guelfi, PY - 1998 KW - Software Engineering KW - Petri Nets KW - Algebraic Specifications KW - Refinement KW - Concurrent and Distributed Systems KW - Java KW - Web. VL - 7 JA - 2013 46th Hawaii International Conference on System Sciences ER - | |||
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a rapid penetration of Java programs into commercial products is that software engineers do not have any methodology and have to develop complex parallel applications. Here, we present a formal development methodology based on the stepwise refinement of CO-OPN/2 formal specifications, using a real Web parallel application. Starting from a centralized view, we present the following refinement steps: data distribution, behavior distribution, communication layer, and Java program. During the whole refinement process, we study the evolution and the verification of one specific property.
Index Terms:
Software Engineering, Petri Nets, Algebraic Specifications, Refinement, Concurrent and Distributed Systems, Java, Web.
Citation:
Giovanna Di Marzo Serugendo, Nicolas Guelfi, "Formal Development of Java Based Web Parallel Applications," hicss, vol. 7, pp.604, Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7, 1998
Usage of this product signifies your acceptance of the Terms of Use.