Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract-Reference-Cited by-同舟云学术

Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract

Published:2006 Issue: Volume: Page:336-350
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Engels Gregor,Lohmann Marc,Sauer Stefan,Heckel Reiko

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11841883_24.pdf

Reference18 articles.

1. Meservy, T., Fenstermacher, K.D.: Transforming software development: An MDA road map. Computer 38(9), 52–58 (2005)

2. OMG (Object Management Group): Request for proposal: Mof 2.0 query / views / transformations rfp (2002)

3. Meyer, B.: Applying “Design by Contract”. IEEE Computer 25(10), 40–51 (1992)

4. Meyer, B.: Eiffel: The Language, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)

5. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev27, Department of Computer Science, Iowa State University (2005)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Visual Smart Contracts for DAML;Graph Transformation;2022

2. Inferring visual contracts from Java programs;Automated Software Engineering;2018-07-05

3. Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25

4. A Development Framework Toward Reconfigurable Run-time Monitors;Lecture Notes in Electrical Engineering;2011

5. Using VCL as an Aspect-Oriented Approach to Requirements Modelling;Transactions on Aspect-Oriented Software Development VII;2010