Model-driven Monitoring: Generating Assertions from Visual Contracts
M. Lohmann, G. Engels, S. Sauer, in: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society, Los Alamitos, CA, USA, 2006, pp. 355–356.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Lohmann, Marc;
Engels, GregorLibreCat;
Sauer, StefanLibreCat
Department
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 programmer's implementation.
Publishing Year
Proceedings Title
Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)
Page
355-356
LibreCat-ID
Cite this
Lohmann M, Engels G, Sauer S. Model-driven Monitoring: Generating Assertions from Visual Contracts. In: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan). Los Alamitos, CA, USA: IEEE Computer Society; 2006:355-356. doi:http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52
Lohmann, M., Engels, G., & Sauer, S. (2006). Model-driven Monitoring: Generating Assertions from Visual Contracts. In Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan) (pp. 355–356). Los Alamitos, CA, USA: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52
@inproceedings{Lohmann_Engels_Sauer_2006, place={Los Alamitos, CA, USA}, title={Model-driven Monitoring: Generating Assertions from Visual Contracts}, DOI={http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52}, booktitle={Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)}, publisher={IEEE Computer Society}, author={Lohmann, Marc and Engels, Gregor and Sauer, Stefan}, year={2006}, pages={355–356} }
Lohmann, Marc, Gregor Engels, and Stefan Sauer. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” In Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), 355–56. Los Alamitos, CA, USA: IEEE Computer Society, 2006. http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52.
M. Lohmann, G. Engels, and S. Sauer, “Model-driven Monitoring: Generating Assertions from Visual Contracts,” in Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), 2006, pp. 355–356.
Lohmann, Marc, et al. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society, 2006, pp. 355–56, doi:http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52.
Google Scholar