Synthesis and traceability of scenario-based executable models

10.1109/ISoLA.2006.36

Saved in:

Bibliographic Details
Main Authors:	Goel, A., Roychoudhury, A.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Computer aided software engineering Software requirements and specifications
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41259
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41259
record_format	dspace
spelling	sg-nus-scholar.10635-412592015-01-16T14:43:29Z Synthesis and traceability of scenario-based executable models Goel, A. Roychoudhury, A. COMPUTER SCIENCE Computer aided software engineering Software requirements and specifications 10.1109/ISoLA.2006.36 Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 347-354 2013-07-04T08:23:19Z 2013-07-04T08:23:19Z 2007 Conference Paper Goel, 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> 0769530710 http://scholarbank.nus.edu.sg/handle/10635/41259 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Computer aided software engineering Software requirements and specifications
spellingShingle	Computer aided software engineering Software requirements and specifications Goel, A. Roychoudhury, A. Synthesis and traceability of scenario-based executable models
description	10.1109/ISoLA.2006.36
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Goel, A. Roychoudhury, A.
format	Conference or Workshop Item
author	Goel, A. Roychoudhury, A.
author_sort	Goel, A.
title	Synthesis and traceability of scenario-based executable models
title_short	Synthesis and traceability of scenario-based executable models
title_full	Synthesis and traceability of scenario-based executable models
title_fullStr	Synthesis and traceability of scenario-based executable models
title_full_unstemmed	Synthesis and traceability of scenario-based executable models
title_sort	synthesis and traceability of scenario-based executable models
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41259
_version_	1681082409601204224

Synthesis and traceability of scenario-based executable models

Similar Items