Physical Sciences and Mathematics Commons^™

Maintaining Consistency Between A Design Model And Its Implementation, Hector M. Chavez

Dissertations

Software design models are increasingly being used as part of the software development process as analysis and design artifacts and to automatically generate code that developers can further modify or extend, greatly expediting the software development process. This, however, has introduced the challenge of maintaining consistency between the design models and their implementation as they evolve during the development process. Traditional software testing and verification techniques have been well studied in the past, and they are an integral part of many software development projects, however, they are not well suited for consistency checking between a design model and its implementation. …