Concurrent Development of Model and Implementation

A. Gravell, Y. Howard, J. C. Augusto +2

This paper considers how a formal mathematically-based model can be used in support of evolutionary software development, and in particular how such a model can be kept consistent…