Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering-Reference-Cited by-同舟云学术

Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering

Published:2009 Issue: Volume: Page:17-22
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Uchitel Sebastian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-10452-7_2.pdf

Reference25 articles.

1. Antonik, A., Huth, M., Larsen, K., Nyman, U., Wasowski, A.: EXPTIME-complete Decision Problems for Mixed and Modal Specifications. In: 15th International Workshop on Expressiveness in Concurrency (August 2008)

2. Lecture Notes in Computer Science;A. Antonik,2008

3. Bontemps, Y., Heymans, P., Schobbens, P.-Y.: From live sequence charts to state machines and back: A guided tour. IEEE Transactions on Software Engineering 31(12), 999–1014 (2005)

4. Lecture Notes in Computer Science;G. Brunet,2006

5. D’Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: Mtsa: The modal transition system analyser. In: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L’Aquila, Italy, September 15-19, pp. 475–476. IEEE, Los Alamitos (2008), http://sourceforge.net/projects/mtsa/

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

1. Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems;2022 IEEE 25th International Symposium On Real-Time Distributed Computing (ISORC);2022-05-17

2. TOrPEDO: witnessing model correctness with topological proofs;Formal Aspects of Computing;2021-11-06

3. Integrating Topological Proofs with Model Checking to Instrument Iterative Design;Fundamental Approaches to Software Engineering;2020

4. A System-Level Approach for Model-Based Verification of Distributed Software Systems;2013 IEEE International Conference on Systems, Man, and Cybernetics;2013-10