{"type":"conference","date_updated":"2022-01-06T07:03:48Z","publication":"Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)","page":"355-356","doi":"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52","language":[{"iso":"eng"}],"date_created":"2019-02-21T11:44:23Z","user_id":"52534","citation":{"chicago":"Lohmann, Marc, Gregor Engels, and Stefan Sauer. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” In <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, 355–56. Los Alamitos, CA, USA: IEEE Computer Society, 2006. <a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>.","short":"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.","bibtex":"@inproceedings{Lohmann_Engels_Sauer_2006, place={Los Alamitos, CA, USA}, title={Model-driven Monitoring: Generating Assertions from Visual Contracts}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>}, 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} }","apa":"Lohmann, M., Engels, G., &#38; Sauer, S. (2006). Model-driven Monitoring: Generating Assertions from Visual Contracts. In <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i> (pp. 355–356). Los Alamitos, CA, USA: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>","ieee":"M. Lohmann, G. Engels, and S. Sauer, “Model-driven Monitoring: Generating Assertions from Visual Contracts,” in <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, 2006, pp. 355–356.","ama":"Lohmann M, Engels G, Sauer S. Model-driven Monitoring: Generating Assertions from Visual Contracts. In: <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>. Los Alamitos, CA, USA: IEEE Computer Society; 2006:355-356. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>","mla":"Lohmann, Marc, et al. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, IEEE Computer Society, 2006, pp. 355–56, doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>."},"title":"Model-driven Monitoring: Generating Assertions from Visual Contracts","_id":"7956","department":[{"_id":"66"}],"publisher":"IEEE Computer Society","abstract":[{"text":"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.","lang":"eng"}],"author":[{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"first_name":"Stefan","last_name":"Sauer","id":"447","full_name":"Sauer, Stefan"}],"year":"2006","place":"Los Alamitos, CA, USA","status":"public"}