Author:
González Carlos A.,Cabot Jordi
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
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献