Please Note:

The Open Access Repository has moved to a new authentication system as of the 1st of November.

Account holders will now be able to login using their University of Tasmania credentials.
If you have trouble logging in please email us on so we can assist you.

Public users can still access the records in this repository as normal

Open Access Repository

Validation led development of software specifications


Downloads per month over past year

Lakos, C and Malhotra, V (2002) Validation led development of software specifications. International Journal of Modelling and Simulation, 22 (1). pp. 57-74. ISSN 0228-6203

validation-deve...pdf | Download (8MB)
Available under University of Tasmania Standard License.

| Preview


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.

Item Type: Article
Keywords: Object-oriented, Lifecycle, Validation and verification, Requirements analysis, Software specification.
Journal or Publication Title: International Journal of Modelling and Simulation
Publisher: ACTA Press: Anaheim. Calgary. Zurich
Page Range: pp. 57-74
ISSN: 0228-6203
Date Deposited: 08 Sep 2004
Last Modified: 18 Nov 2014 03:10
Item Statistics: View statistics for this item

Actions (login required)

Item Control Page Item Control Page