Integrating UML and Formal Methods-Reference-Cited by-同舟云学术

Integrating UML and Formal Methods

Published:2007-07 Issue: Volume:184 Page:97-112
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Borges Rafael Magalhães,Mota Alexandre Cabral

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference31 articles.

1. Borges, R.M., Integrando UML e Métodos Formais, Final year project, Centro de Informática, Universidade Federal de Pernambuco (in Portuguese) (2004). URL www.cin.ufpe.br/~rmb2/pdf/borges04integrando.pdf

2. Applications of Formal Methods;Bowen,1995

3. Breu, R., U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe and V. Thurner, Towards a Formalization of the Unified Modeling Language, in: ECOOP (1997), pp. 344–366

4. Cavalcanti, A., A. Sampaio and J. Woodcock, A Unified Language of Classes and Processes, in: St Eve: State-Oriented vs. Event-Oriented Thinking in Requirements Analysis, Formal Specification and Software Engineering, Satellite Workshop at FM'03, 2003

5. Formal Methods: State of the Art and Future Directions;Clarke;ACM Computing Surveys,1996

Cited by 13 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. Mapping UML Activity Diagram into Z Notation;Innovative Data Communication Technologies and Application;2022

3. INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG;Jordanian Journal of Computers and Information Technology;2020

4. Integrating UML With Service Refinement for Requirements Modeling and Analysis;IEEE Access;2019

5. Software Architecture of Modern Model Checkers;Lecture Notes in Computer Science;2019