Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars-Reference-Cited by-同舟云学术

Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars

Published:2005 Issue: Volume: Page:80-95
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Reussner Ralf H.,Happe Jens,Habel Annegret

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31984-9_7.pdf

Reference20 articles.

1. Aho, A.V., Ullman, J.D.: The Theory of Parsing, Translation, and Compiling. In: Parsing, vol. I. Prentice-Hall, Englewood Cliffs (1972)

2. Software Engineering Notes;L. Alfaro de,2001

3. Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. Journal of Computer and System Sciences 64, 249–283 (2002)

4. Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)

5. Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution, vol. 3. World Scientific, Singapore (1999)

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

1. Contract-based specification of mode-dependent timing behavior;Innovations in Systems and Software Engineering;2023-09-07

2. Handling of Operating Modes in Contract-Based Timing Specifications;Lecture Notes in Computer Science;2022

3. Component simulation-based substitutivity managing QoS and composition issues;Science of Computer Programming;2010-10

4. The eHomeConfigurator Tool Suite;On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops;2006

5. Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems;Multi-Agent Systems and Applications IV;2005