1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.1109/ISoLA.2006.36
DC FieldValue
dc.titleSynthesis and traceability of scenario-based executable models
dc.contributor.authorGoel, A.
dc.contributor.authorRoychoudhury, A.
dc.date.accessioned2013-07-04T08:23:19Z
dc.date.available2013-07-04T08:23:19Z
dc.date.issued2007
dc.identifier.citationGoel, A.,Roychoudhury, A. (2007). Synthesis and traceability of scenario-based executable models. Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 347-354. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/ISoLA.2006.36" target="_blank">https://doi.org/10.1109/ISoLA.2006.36</a>
dc.identifier.isbn0769530710
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/41259
dc.description.abstractMessage Sequence Charts (MSCs) or Sequence Diagrams are one of the behavioral diagram types in the Unified Modeling Language or UML. In system requirements modeling, MSCs are conventionally used for describing possible system scenarios. In the recent past, there have been concerted attempts to develop executable system modeling languages directly based on MSCs - Live Sequence Charts, Triggered Message Sequence Charts and Interacting Process Classes, to name a few. In this paper, we study the problem of model synthesis in these languages - how to translate informal requirements into formal models. We also discuss (a) test generation from these formal models, and (b) how the generated tests can be traced back to the informal requirements. © 2007 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/ISoLA.2006.36
dc.sourceScopus
dc.subjectComputer aided software engineering
dc.subjectSoftware requirements and specifications
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/ISoLA.2006.36
dc.description.sourcetitleProceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
dc.description.page347-354
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.