Model-driven monitoring: Generating assertions from visual contracts

Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006

Volumn , Issue , 2006, Pages 355-356

  Lohmann, Marc ^a   Engels, Gregor ^a   Sauer, Stefan ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); JAVA PROGRAMMING LANGUAGE; SOFTWARE ENGINEERING;

AUTOMATIC MONITORING; MODEL-DRIVEN DEVELOPMENT; VISUAL CONTRACTS;

MATHEMATICAL MODELS;

EID: 34547448071     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2006.52     Document Type: Conference Paper

References (4)

1. G. Engels, M. Lohmann, S. Sauer, and R. Heckel. Model-driven monitoring: An application of graph transformation for design by contract. In International Conference on Graph Transformation ICGT 2006, September 2006.
2. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev27, Department of Computer Science, Iowa State University, February 2005.
3. M. Lohmann, S. Sauer, and G. Engels. Executable visual contracts. In 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, pages 63-70, 2005.
4. B. Meyer. Applying "Design by Contract". IEEE Computer, 25(10):40-51, 1992.