Formal verification of static software models in MDE: A systematic review-Reference-Cited by-同舟云学术

Formal verification of static software models in MDE: A systematic review

Published:2014-08 Issue:8 Volume:56 Page:821-838
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

González Carlos A.,Cabot Jordi

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference72 articles.

1. Verified software: a grand challenge;Jones;IEEE Comp.,2006

2. C.A. González, F. Büttner, R. Clarisó, J. Cabot, EMFtoCSP: a tool for the lightweight verification of EMF models, in: Proceedings of Formal Methods in Software Engineering: Rigorous and Agile Approaches, FormSERA 2012, 2012, pp. 44–50.

3. Definitions and approaches to model quality in model-based software development – a review of literature;Mohagheghi;Inform. Softw. Technol.,2009

4. A systematic review of UML model consistency management;Lucas;Inform. Softw. Technol.,2009

5. B. Kitchenham, S. Charters, Guidelines for Performing Systematic Literature Reviews in Software Engineering, Tech. Rep. EBSE 2007-001, Keele University and Durham University, 2007.

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

1. Definitions and Computational Properties of OCL: A Systematic Review;IEEE Access;2024

2. Modeling and enforcing access control policies in conversational user interfaces;Software and Systems Modeling;2023-11-22

3. Towards an Extensible Architecture and Tool Support for Model-Based Verification;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

4. Cross-Platform Real-Time Collaborative Modeling: An Architecture and a Prototype Implementation via EMF.Cloud;IEEE Access;2023

5. Model Transformation Testing and Debugging: A Survey;ACM Computing Surveys;2022-11-21