Model-driven engineering of information systems: 10 years and 1000 versions

Journal article

This paper reports upon ten years of experience in the development and application of model-driven technology. The technology in question was inspired by work on formal methods: in particular, by the B toolkit. It was used in the development of a number of information systems, all of which were successfully deployed in real world situations. The paper reports upon three systems: one that informed the design of the technology, one that was used by an internal customer, and one that is currentl...

Expand abstract

Authors: Davies, J; Gibbons, J; Welch, J; Crichton, E

• Publication status: Published
• Journal: SCIENCE OF COMPUTER PROGRAMMING
• Volume: 89
• Pages: 88-104
• Publication date: 2014-09-01
• DOI: 10.1016/j.scico.2013.02.002
• ISSN: 0167-6423
• Keywords: Agile; Formal methods; Data migration; Evolution; Model-driven; Databases