Towards an Institutional Framework for Heterogeneous Formal Development in UML-Reference-Cited by-同舟云学术

Towards an Institutional Framework for Heterogeneous Formal Development in UML

Published:2015 Issue: Volume: Page:215-230
ISSN:0302-9743
Container-title:Software, Services, and Systems
language:
Short-container-title:

Author:

Knapp Alexander,Mossakowski Till,Roggenbach Markus

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-15545-6_15

Reference34 articles.

1. Baudin, P., Cuoq, P., Filliâtre, J.-C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language. Report. In: CEA 2012 (2012)

2. Lecture Notes in Computer Science;S.S. Bauer,2009

3. Lecture Notes in Computer Science;A. Boronat,2009

4. Broy, M., Cengarle, M.V., Grönniger, H., Rumpe, B.: Considerations and Rationale for a UML System Model. In: Lano (ed.) [25], ch. 3, pp. 43–60

5. Broy, M., Cengarle, M.V., Grönniger, H., Rumpe, B.: Definition of the System Model. In: Lano (ed.) [25], ch. 4, pp. 61–93

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

1. Towards a New Ontology-Based Descriptive Language: OntoObject-Z;2023 6th International Conference on Contemporary Computing and Informatics (IC3I);2023-09-14

2. An Institutional Approach to Communicating UML State Machines;Fundamental Approaches to Software Engineering;2022

3. Algebraic Specification in CASL;Texts in Theoretical Computer Science. An EATCS Series;2022

4. Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS;Recent Trends in Algebraic Development Techniques;2021

5. The Distributed Ontology, Model and Specification Language – DOL;Recent Trends in Algebraic Development Techniques;2017