validation-development.pdf (8.16 MB)
Validation led development of software specifications
journal contribution
posted on 2023-05-25, 21:58 authored by Lakos, C, Malhotra, VA 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.
History
Publication title
International Journal of Modelling and SimulationVolume
22Article number
1Number
1Pagination
57-74ISSN
0228-6203Publisher
ACTA Press: Anaheim. Calgary. ZurichPublication status
- Published
Repository Status
- Open