Model-driven Monitoring: Generating Assertions from Visual Contracts

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Marc Lohmann Articles by Gregor Engels Articles by Stefan Sauer

21st IEEE International Conference on Automated Software Engineering (ASE'06)

Tokyo, Japan

September 18-September 22

ISBN: 0-7695-2579-2

	ASCII Text	x
	Marc Lohmann, Gregor Engels, Stefan Sauer, "Model-driven Monitoring: Generating Assertions from Visual Contracts," Automated Software Engineering, International Conference on, pp. 355-356, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006.

	BibTex	x
	@article{ 10.1109/ASE.2006.52, author = {Marc Lohmann and Gregor Engels and Stefan Sauer}, title = {Model-driven Monitoring: Generating Assertions from Visual Contracts}, journal ={Automated Software Engineering, International Conference on}, volume = {0}, year = {2006}, issn = {1527-1366}, pages = {355-356}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Automated Software Engineering, International Conference on TI - Model-driven Monitoring: Generating Assertions from Visual Contracts SN - 1527-1366 SP355 EP356 A1 - Marc Lohmann, A1 - Gregor Engels, A1 - Stefan Sauer, PY - 2006 KW - null VL - 0 JA - Automated Software Engineering, International Conference on ER -

Marc Lohmann, University of Paderborn, Germany

Gregor Engels, University of Paderborn, Germany

Stefan Sauer, University of Paderborn, Germany

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52

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.

Citation:

Marc Lohmann, Gregor Engels, Stefan Sauer, "Model-driven Monitoring: Generating Assertions from Visual Contracts," ase, pp.355-356, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.