Author:
Uchitel Sebastian,Chatley Robert,Kramer Jeff,Magee Jeff
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. ITU, Message Sequence Charts, International Telecommunications Union. Telecommunication Standardisation Sector, Recommendation Z.120, 1996.
2. J. Magee and J. Kramer, Concurrency: State Models and Java Programs. New York: John Wiley & Sons Ltd., 1999.
3. R. Morin, On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory in International Conference on the Foundations of Software Science and Computation Structure (FOSSACS’01), Genova, 2001.
4. S. Uchitel, LTSA-MSC Tool. Department of Computing, Imperial College, 2001.
5. S. Uchitel, J. Kramer, and J. Magee, Detecting Implied Scenarios in Message Sequence Chart Specifications in Joint 8th European Software Engineering Conference (ESEC’01) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE’01), Vienna, 2001.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Validation of Software for Nano Satellite Missions;Revista Abierta de Informática Aplicada;2023-06-30
2. Architecture-Centric Testing for Security;Agile Software Architecture;2014
3. Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2013
4. Analysing Message Sequence Graph Specifications;Lecture Notes in Computer Science;2010
5. Towards Abstraction for DynAlloy Specifications;Formal Methods and Software Engineering;2008