Model-driven Monitoring: Generating Assertions from Visual Contracts

Marc Lohmann, Gregor Engels, Stefan Sauer. Model-driven Monitoring: Generating Assertions from Visual Contracts. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan. pages 355-356, IEEE Computer Society, 2006. [doi]

Authors

Marc Lohmann

This author has not been identified. Look up 'Marc Lohmann' in Google

Gregor Engels

This author has not been identified. It may be one of the following persons: Look up 'Gregor Engels' in Google

Stefan Sauer

This author has not been identified. Look up 'Stefan Sauer' in Google