Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/1334
Citations | ||
Scopus | Web of ScienceĀ® | Altmetric |
---|---|---|
?
|
?
|
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lakos, C. | - |
dc.contributor.author | Malhotra, V. | - |
dc.date.issued | 2002 | - |
dc.identifier.citation | International Journal of Modelling and Simulation, 2002; 22(1):57-74 | - |
dc.identifier.issn | 0228-6203 | - |
dc.identifier.issn | 1925-7082 | - |
dc.identifier.uri | http://hdl.handle.net/2440/1334 | - |
dc.description.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. | - |
dc.description.statementofresponsibility | Lakos, Charles and Malhotra, Vishv | - |
dc.language.iso | en | - |
dc.publisher | ACTA Press | - |
dc.source.uri | http://dx.doi.org/10.1080/02286203.2002.11442225 | - |
dc.title | Validation led development of software specifications | - |
dc.type | Journal article | - |
dc.identifier.doi | 10.1080/02286203.2002.11442225 | - |
pubs.publication-status | Published | - |
Appears in Collections: | Aurora harvest 7 Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.