The University of Southampton
University of Southampton Institutional Repository

Concurrent Development of Model and Implementation

Gravell, Andrew M, Howard, Yvonne, Augusto, Juan-Carlos, Ferreira, Carla and Gruner, Stefan (2003) Concurrent Development of Model and Implementation At 16th International Conference on Software & Systems Engineering and their Applications.

Record type: Conference or Workshop Item (Paper)


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 with the implementation as it changes to meet new requirements. A number of techniques are listed can make use of such a model to enhance the development process, and also ways to keep model and implementation consistent. The effectiveness of these techniques is investigated through two case studies concerning the development of small e-business applications, a travel agent and a mortgage broker. Some successes are reported, notably in the use of rapid throwaway modelling to investigate design alternatives, and also in the use of close team working and model-based trace-checking to maintain synchronisation between model and implementation throughout the development. The main areas of weakness were seen to derive from deficiencies in tool support. Recommendations are therefore made for future improvements to tools supporting formal models which would, in principle, make this co-evolutionary approach attractive to industrial software developers. It is claimed that in fact tools already exist that provide the desired facilities, but these are not necessarily production-quality, and do not all support the same notations, and hence cannot be used together.

PDF ICSSEA2003.pdf - Other
Download (70kB)

More information

Published date: 2003
Additional Information: Event Dates: 2/12/2003
Venue - Dates: 16th International Conference on Software & Systems Engineering and their Applications, 2003-12-02
Organisations: Electronic & Software Systems


Local EPrints ID: 259103
PURE UUID: 20b3d6ec-23b6-40e8-9942-0ef0830e04ca

Catalogue record

Date deposited: 12 Mar 2004
Last modified: 18 Jul 2017 09:26

Export record


Author: Andrew M Gravell
Author: Yvonne Howard
Author: Juan-Carlos Augusto
Author: Carla Ferreira
Author: Stefan Gruner

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.