The Community for Technology Leaders
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (2006)
Tokyo, Japan
Sept. 18, 2006 to Sept. 22, 2006
ISSN: 1527-1366
ISBN: 0-7695-2579-2
pp: 355-356
Marc Lohmann , University of Paderborn, Germany
Gregor Engels , University of Paderborn, Germany
Stefan Sauer , University of Paderborn, Germany
ABSTRACT
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level, to the model level. It uses visual contracts for graphically specifying the pre- and post-conditions of an operation. Java classes with JML (Java modeling language) assertions are generated from visual contracts to facilitate automatic monitoring of the correctness of the programmers' implementation
INDEX TERMS
formal specification, Java, program compilers, program verification, Unified Modeling Language, visual programming
CITATION

M. Lohmann, G. Engels and S. Sauer, "Model-driven Monitoring: Generating Assertions from Visual Contracts," 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)(ASE), Tokyo, Japan, 2008, pp. 355-356.
doi:10.1109/ASE.2006.52
89 ms
(Ver 3.3 (11022016))