From MSCS to Statecharts-Reference-Cited by-同舟云学术

From MSCS to Statecharts

Published:1999 Issue: Volume: Page:61-71
ISSN:
Container-title:Distributed and Parallel Embedded Systems
language:
Short-container-title:

Author:

Krüger Ingolf,Grosu Radu,Scholz Peter,Broy Manfred

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35570-2_5

Reference14 articles.

1. Manfred Broy, Radu Grosu, and Ingolf Krüger. Deutsche Patentanmeldung, Aktenzeichen 198 37 871. 8, 1998.

2. Manfred Broy, Christoph Hofmann, Ingolf Krüger, and Monika Schmidt. Using extended event traces to describe communication in software architectures. In Asia-Pacific Software Engineering Conference and International Computer Science Conference, Hong Kong. IEEE Computer Society, 1997.

3. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. A System of Patterns. Pattern-Oriented Software Architecture. Wiley, 1996.

4. B. Boehm. A spiral model of software development and enhancement. ACM SIG-SOFT, pages 14 — 24, August 1986.

5. B. Boehm. A spiral model of software development and enhancement. IEEE Computer, pages 61–72, May 1988.

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

1. Synthesis of state machine models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16

2. Theory and methodology of assumption/commitment based system interface specification and architectural contracts;Formal Methods in System Design;2017-11-25

3. Scenario-based system design with colored Petri nets: an application to train control systems;Software & Systems Modeling;2016-02-04

4. Verification of lack of emergent behavior in extending a social network of agents;Social Network Analysis and Mining;2015-01-09

5. Algorithmic program synthesis: introduction;International Journal on Software Tools for Technology Transfer;2013-08-27