FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages

Proceedings of the 2011 IEEE International Conference on Information Reuse and Integration, IRI 2011

Volumn , Issue , 2011, Pages 218-221

  George, Nixon Sunny ^a   Zhang, Cui ^a   Radimsky, Anne Louise ^a  

^a CALIFORNIA STATE UNIVERSITY   (United States)

Author keywords

Automatic conversion; Design by Contract; Software framework; Software quality

Indexed keywords

AUTOMATIC CONVERSION; DESIGN BY CONTRACT; FORMAL SPECIFICATION; IMPLEMENTATION LANGUAGES; OBJECT Z; OBJECT-Z SPECIFICATION; SOFTWARE FRAMEWORK; SOFTWARE QUALITY; TARGET LANGUAGE;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DESIGN; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS;

INFORMATION USE;

EID: 80053134576     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IRI.2011.6009549     Document Type: Conference Paper

References (10)

1. Rachel Henne-Wu, William Mitchell, and Cui Zhang., (September-October 2004), "Support for Design by Contract in the C# Programming Language", Journal of Object Technology, vol. 4, no. 7pp. 65-82
2. Reto Kramer, "iContract-The Java™ Design by Contract™ Tool", Proceedings of Technology of Object-Oriented Languages, IEEEComputer Society, 1998
3. Kevin McFarlane, "Design by Contract Framework", The Code Project, July 13, 2002. http://www.codeproject.com/csharp/designbycontract. asp
4. Bertrand Meyer, Object-Oriented Software Construction, Prentice Hall, 1997
5. Reinhold Plosh, "Evaluation of Assertion Support for the Java Programming Language", Journal of Object Technology, vol. 1, no. 3, special issue: TOOLS USA 2002 Proceedings, pp. 5-17, August, 2002
6. W. Pree, "Meta Patterns-A Means For Capturing the Essentials of Reusable Object-Oriented Design", Proceedings of the 8th European Conference on Object-Oriented Programming, Springer-Verlag, pp. 150-162, 1994
7. Swomiya Ramkarthik and Cui Zhang, "Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z", 5th IEEE/ACIS International Conference onComputer and Information Sciences (ICIS 2006), pp. 405-411
8. Sherri Sanders and Cui Zhang,. "Object-Z to Java/Perl": A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts", Proceedings of the 2008 International Conference on Software Engineering and Knowledge Engineering, pp. 824-829, San Francisco
9. Graeme Smith, The Object-Z Specification Language, Kluwer Academic Publishers, 2000
10. "Design by Contract™ for Java™ Using JMSAssert™", http://www.mmsindia.com/DBCForJava.html