Behavioral Refinement and Compatibility of Statechart Extensions-Reference-Cited by-同舟云学术

Behavioral Refinement and Compatibility of Statechart Extensions

Published:2013-05 Issue: Volume:295 Page:65-78
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Prehofer Christian

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference17 articles.

1. Interface-based design;Alfaro,2005

2. On weak modal compatibility, refinement, and the mio workbench;Bauer,2010

3. C. Blundell, K. Fisler, S. Krishnamurthi, P. Van Hentenrvck, Parameterized interfaces for open system verification of product lines, in: Automated Software Engineering, 2004. Proceedings. 19th International Conference on, September 2004, pp. 258–267.

4. Multifunctional software systems: Structured modeling and specification of functional requirements;Broy;Sci. Comput. Program.,2010

5. Timed i/o automata: a complete specification theory for real-time systems;David,2010

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

1. Behavioral customization of state machine models at ESO;Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A;2022-09-12

2. Measuring Business Process Consistency Across Different Abstraction Levels;IEEE Transactions on Network and Service Management;2019-03

3. Structure and behavior preserving statecharts refinements;Science of Computer Programming;2019-01

4. Mechanized semantics and refinement of UML-Statecharts;Frontiers of Information Technology & Electronic Engineering;2017-11

5. Behavioral types for component-based software systems;Proceedings of the Australasian Computer Science Week Multiconference;2017-01-31