Generating Java skeletal code with design contracts from specifications in a subset of object Z

Proceedings - 5th IEEE/ACIS Int. Conf. on Comput. and Info. Sci., ICIS 2006. In conjunction with 1st IEEE/ACIS, Int. Workshop Component-Based Software Eng., Softw. Archi. and Reuse, COMSAR 2006

Volumn 2006, Issue , 2006, Pages 405-410

  Ramkarthik, Sowmiya ^a,b   Zhang, Cui ^a  

^a CALIFORNIA STATE UNIVERSITY   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATIONS; JAVA SKELETAL CODES; OBJECT Z CLASS SCHEMA;

CODES (SYMBOLS); COMPUTER SOFTWARE; GRAPHICAL USER INTERFACES; JAVA PROGRAMMING LANGUAGE; SET THEORY; XML;

OBJECT ORIENTED PROGRAMMING;

EID: 33947679782     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIS-COMSAR.2006.41     Document Type: Conference Paper

References (23)

1. Ricky W. Butler, What is Formal Methods?, http://shemesh.larc.nasa. gov/fm/fm-what.html, August 2001.
2. David Crocker, Developing Reliable Software using Object-Oriented Formal Specification and Refinement, Escher Technologies Ltd., Mallard House, Hillside Road,Ash Vale, Aldershot GU12 5BJ, United Kingdom. http://www.eschertech.com/ papers/developing_reliable_software.pdf, March 2003.
3. A. Harry, Formal Methods Fact File VDM and Z, John Wiley and Sons, 1996.
4. J.M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, 2nd edition, 1992.
5. Bertrand Meyer: Eiffel: The Language, Prentice Hall, 1992.
6. Murat Karaorman, Urs Holzle, and John Bruno, "jContractor: A Reflective Java Library to Support Design by Contract", Technical Report TRCS98-31, Department of Computer Science, University of California, Santa Barbara. http://people.cs.uchicago.edu/~robby/contract- reading-list/ jContractor.pdf
7. Oliver Enseling, "iContract: Design by Contract in Java", http://www.Javaworld.com/Javaworld/jw-02-2001/jw-0216-cooltools.html, February 2001.
8. Heike Wehrheim, Clemens Fischer, Detlef Bartetzko, Michael Moller, Jass - Java with Assertions, University of Oldenburg, Germany, http://www.cse.ogi. edu/PacSoft/conf/jvw02/slides/jass.pdf, 2002.
9. K. Rangarajan. Design by Contract for Java using JMSAssert, A white paper document, http://www.mmsindia.com/JMSAssert.html and http://www.mmsindia. com/DBCForJava.html, 2000.
10. Andrew Duncan, Urs Hoelzle, Adding Contracts to Java with Handshake, Technical Report: TRCS98-32, University of California at Santa Barbara, Santa Barbara, CA, 1998.
11. R. Duke, G. Rose, and G. Smith, Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511-533, 1995.
12. Graeme Smith, The Object-Z Specification Language. Advances in Formal Methods, Kluwer Academic Publishers, 2000.
13. Ana Moreira and João Araújo, Generating Object-Z Specifications from use Cases, Departamento de Informática Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa 2825 Monte da Caparica PORTUGAL. http://www-ctp.tli.fct.unl.pt/~amm/papers/ICEIS99.pdf, 1999.
14. G.-H.B. Rafsanjani. and S.J. Colwill, From Object-Z to C++: A Structural Mapping. In Z User Meeting (ZUM'92). Springer-Verlag, 1992.
15. st Asia-Pacific Software Engineering Conference (APSEC94). IEEE Computer Society Press, 1994.
16. A. Griffiths. From Object-Z to Eiffel: a rigorous development method. In Technology of Object-Oriented Languages and Systems: TOOLS 18. Prentice Hall, 1995.
17. W. Johnston and G. Ros, Guidelines for the Manual Conversion of Object-Z to C++, SVRC Technical Report 93-14, 1993.
18. C. Fischer. Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis. University of Oldenburg, 2000.
19. C. Fischer. Software development with Object-Z, CSP and Java: A pragmatic link from formal specifications to programs. In Formal Techniques for Java Programs, Technical Report 251, Fernuniversität Hagen, 1999.
20. Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. Object-Z Web Environment and Projections to UML, 10th International World Wide Web Conference (WWW-10), refereed paper track, ACM Press, pages 725-734, Hong Kong, May 2001.
21. Moby Research Group. Moby/OZ Tool, http://csd.informatik.uni- oldenburg.de/~moby/, 2002.
22. Reinhold Plösch, Evaluation of Assertion Support for the Java Programming Language, Johannes Kepler University Linz, Austria. http://www.jot.fm/issues/issue_2002_08/article1, 2002.
23. The course Y302: Software Engineering, http://www.doc.ic.ac.uk/~ar3/ lectures/IndustrialMaster/SoftwareEngineering/Tutorial1/Solution1.pdf, Department of Computing, Imperial College London.