DocumentCode
2770243
Title
Model-driven Monitoring: Generating Assertions from Visual Contracts
Author
Lohmann, Marc ; Engels, Gregor ; Sauer, Stefan
Author_Institution
Dept. of Comput. Sci., Paderborn Univ.
fYear
2006
fDate
18-22 Sept. 2006
Firstpage
355
Lastpage
356
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
Keywords
Java; Unified Modeling Language; formal specification; program compilers; program verification; visual programming; Java classes; Java modeling language assertions; Visual Contract Workbench; correctness monitoring; design by contract; graphical specification; software system development; Binary codes; Computer languages; Computerized monitoring; Contracts; Java; Program processors; Programming profession; Runtime; Skeleton; Software design;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on
Conference_Location
Tokyo
ISSN
1938-4300
Print_ISBN
0-7695-2579-2
Type
conf
DOI
10.1109/ASE.2006.52
Filename
4019606
Link To Document