Marc Lohmann, Gregor Engels, Stefan Sauer
Model-driven Monitoring: Generating Assertions from Visual Contracts
ASE, 2006.
@inproceedings{ASE-2006-LohmannES, author = "Marc Lohmann and Gregor Engels and Stefan Sauer", booktitle = "{Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2006.52", isbn = "0-7695-2579-2", pages = "355--356", publisher = "{IEEE Computer Society}", title = "{Model-driven Monitoring: Generating Assertions from Visual Contracts}", year = 2006, }