2015
DOI: 10.1016/j.scico.2014.11.004
|View full text |Cite
|
Sign up to set email alerts
|

Formal model-driven engineering of critical information systems

Abstract: Please cite this article in press as: J. Davies et al., Formal model-driven engineering of critical information systems, Sci. Comput. Program. (2015), http://dx. Highlights• Model-driven tools can reduce the cost of development and verification.• Information systems can be produced automatically from object oriented designs.• A formal, model-driven approach is proposed for use in safety critical systems.• A framework is provided for the correctness of model transformations. AbstractModel-driven engineering is … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2016
2016
2022
2022

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 13 publications
references
References 25 publications
0
0
0
Order By: Relevance