Validation led development of software specifications
Date
2002
Authors
Lakos, C.
Malhotra, V.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
International Journal of Modelling and Simulation, 2002; 22(1):57-74
Statement of Responsibility
Lakos, Charles and Malhotra, Vishv
Conference Name
Abstract
A software development methodology is defined that integrates software specification and validation efforts. The integration helps in achieving the twin goals of correct software with well-defined specifications that document it. The major focus of the paper is on dynamic lifecycle models. We indicate how language analysis of the problem description can be extended to derive not only a static class model for the system but also an initial dynamic lifecycle model. Consistency and completeness checks are provided which further drive the requirements elicitation. A case study is presented that clearly demonstrates the methodology.