Author:
Graics Bence,Molnár Vince,Majzik István
Publisher
Springer International Publishing
Reference18 articles.
1. Message Sequence Chart (MSC) – Annex B: Algebraic semantics of Message Sequence Charts. Standard, ITU-TS (1995). https://itu.int/rec/T-REC-Z.120
2. Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19(1), 45–80 (2001)
3. Unified Modeling Language Version 2.5.1 (UMLv2.5.1) - Sequence Digrams. Standard, Object Management Group (OMG) (2017)
4. Harel, D., Maoz, S.: Assert and negate revisited: Modal semantics for UML sequence diagrams. Softw. Syst. Model. 7(2), 237–252 (2008)
5. Molnár, V., Graics, B., Vörös, A., Majzik, I., Varró, D.: The Gamma Statechart Composition Framework: design, verification and code generation for component-based reactive systems. In: 40th International Conference on Software Engineering (ICSE), pp. 113–116. ACM, Gothenburg, Sweden (2018). https://doi.org/10.1145/3183440.3183489
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献