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 currently in use outside the development organisation. It records a number of lessons regarding the application of model-driven techniques. © 2013 Elsevier B.V. All rights reserved.

Original publication

DOI

10.1016/j.scico.2013.02.002

Type

Journal article

Journal

Science of Computer Programming

Publication Date

01/01/2014

Volume

89

Pages

88 - 104