"Object-Z to Java/OO-Perl": A conversion from Object-Z to executable skeletal code with dynamically checkable design contracts

20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008

Volumn , Issue , 2008, Pages 824-829

  Sanders, Sherri M ^a,b   Zhang, Cui ^a  

^a CALIFORNIA STATE UNIVERSITY   (United States)

^b HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN BY CONTRACTS; FORMAL SPECIFICATION; OBJECT ORIENTED; OBJECT-Z SPECIFICATION; PRACTICAL EXTRACTION AND REPORT LANGUAGES; PROGRAM DESIGN; SEMANTIC GAP; SOFTWARE DEVELOPER;

CONTRACTS; DESIGN; JAVA PROGRAMMING LANGUAGE; KNOWLEDGE ENGINEERING; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY; SPECIFICATIONS;

BRIDGES;

EID: 84886890425     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. C. Fischer. (2000). "Combination and implementation of processes and data: from CSP-OZ to Java". PhD thesis. University of Oldenburg.
2. C. Fischer. (1999)."Software development with Object-Z, CSP and Java: A pragmatic link from formal specifications to programs". Formal Techniques for Java Programs. Technical Report 251. Fernuniversität Hagen.
3. M. Fukagawa, T. Hikita, and H. Yamazaki. (1994). "A Mapping System from Object-Z to C++".1st Asia-Pacific Software Engineering Conference (APSEC94). IEEE Computer Society Press.
4. Griffiths. (1995). "From Object-Z to Eiffel: A rigorous development method". Technology of Object- Oriented Languages and Systems: TOOLS 18. Prentice Hall.
5. Harry. ( 1996). "Formal Methods Fact File VDM and Z". John Wiley & Sons. Baffin Lane, Chichester. pg. 1-22.
6. W. Johnston and G. Rose. (1993). "Guidelines for the Manual Conversion of Object-Z to C++". SVRC Technical Report 93-14.
7. M. Kölling and D. J. Barnes. (2006). "Objects First with Java: A Practical Introduction using BlueJ". 3rd Edition, Prentice Hall.
8. M. Kölling . (2007). "BlueJ - The Interactive Java Environment". Teaching Java - Leaning Java. http://www.bluej.org/index. html.
9. Meyer. (1992). Eiffel: The Language. Prentice Hall.
10. Meyer. (1997). Object-Oriented Software Construction. Prentice-Hall.
11. M. Morrison. (2006). "Sams Teach Yourself XML in 24 Hours". 3rd edition. Sams Publishing.
12. G.-H.B. Rafsanjani and S.J. Colwill. (1992). "From Object-Z to C++: A Structural Mapping". Z User Meeting (ZUM'92). Springer-Verlag.
13. S. Ramkarthik, C. Zhang. (2006)."Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z". 5th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2006). pp. 405-411.
14. K. Rangarajan. (2000). "Design by Contract for Java using JMSAssert". A white paper document.
15. G. Smith, (1999). "The Object-Z Specification Language". Kluwer Academic Publishers.
16. J. Sun, J. S. Dong, J. Liu and H. Wang. (May 2001). "Object-Z Web Environment and Projections to UML". 10th International World Wide Web Conference (WWW-10). ACM Press. pages 725-734. Hong Kong.
17. R. Wagner and R. Mansfield. (2003). "XML All- In-One Desk Reference for Dummies". Wiley Publishing. Inc., New York, NY.