Executable visual contracts

Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Volumn 2005, Issue , 2005, Pages 63-70

  Lohmann, Marc ^a   Sauer, Stefan ^a   Engels, Gregor ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER GRAPHICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER VISION; CONFORMAL MAPPING; CONSTRAINT THEORY; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SUPERVISORY AND EXECUTIVE PROGRAMS;

DESIGN BY CONTRACT (DBC); JAVA MODELING LANGUAGE (JML); OBJECT CONSTRAINT LANGUAGE (OCL); RUNTIME ASSERTION CHECKER;

COMPUTER SCIENCE;

EID: 33746499011     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2005.35     Document Type: Conference Paper

References (19)

1. S Antoy and D Hamlet Automatically checking an implementation against its formal specification IEEE Transactions on Software Engineering, 26(1) 55-69. January 2000
2. P. Bottoni. M. Koch. F. Parisi-Presicce, and G. Taentzer. A visualization of OCL using collaborations. Proceedings of the UML 2001, volume 2185 of LNCS, pages 257-271. Springer, 2001.
3. L. Burdy, Y. Cheon. D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT), February 2005, to appear.
4. Y. Cheon and G. T. Leavens. A simple and practical approach to unit testing: The jml and junit way. European Conference on Object-Oriented Programming, volume 2374 of LNCS, pages 231-255. Springer, 2002.
5. T. Fischer. J. Niere, L. Torunski, and A. Zündorf. Story diagrams: A new graph rewrite language based on the unified modeling language. International Workshop on Theory and Application of Graph Transformations (TAGT), volume 1764 of LNCS, pages 296-309. Springer. 1998.
6. A. Hamie. Translating the object constraint language into the Java modelling language. In Symposium on Applied computing, pages 1531-1535. ACM Press. 2004.
7. R. Heckel, M. Llabres. H. Ehrig, and F. Orcjas. Concurrency and loose semantics of open graph transformation systems. Mathematical Structures in Computer Science, 12(4):349-376. August 2002.
8. J. Howse, F. Molina. J. Tayloy, S. Kent. and J. Gil. Spider diagrams: 4 diagrammatic reasoning system. Journal of Visual Languages and Computing, 12(3):299-324. June 2001.
9. M. Huisman. Reasoning about Java programs in higher order logic using PVS and Isabelle. PhD thesis. University of Nijmegen, The Netherlands, 2001.
10. H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. Science of Computer Programming, 44:5 1-69. 2002.
11. I. Jacobson. G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley Professional, 1999.
12. S. Ken: and J. Hnwse. Mixing visual and tcxttiel constraint languages. Proceedings of UML'99, volume 1723 of LNCS. pages 384-398. Springer. 1999.
13. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev27, Iowa State University, February 2005.
14. B. Meyer, Applying "designby contract". IEEE Computer. 25(10):40-51, 1992.
15. OMG (ObjectManagement Group). Uml 2.0 ocl. 2003.
16. OMG (ObjectManagement Group). Uml 2.0 superstructure specification - revised final adopted specification. 2004.
17. D. K. Peters and D. L. Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3): 161-173. 1998.
18. University of Paderbom. Software Engineering group. Fujaba tool suite. http:i!www.fujaba.dcL
19. A. Zündorf. Graph pattern matching in progres. 5th. Int. Workshop on Graph-Grammars and their Application to Computer Science, LNCS 1073. 1996.