Parameterized validation of UML-Like models for reactive embedded systems

Ph.D

Saved in:

Bibliographic Details
Main Author:	ANKIT GOEL
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Requirements Modeling, Unified Modeling Language (UML), Abstract Execution, Parameterized Validation, Model-based Testing, Message Sequence Charts
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/16287
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-16287
record_format	dspace
spelling	sg-nus-scholar.10635-162872024-10-24T18:30:09Z Parameterized validation of UML-Like models for reactive embedded systems ANKIT GOEL COMPUTER SCIENCE ABHIK ROYCHOUDHURY Requirements Modeling, Unified Modeling Language (UML), Abstract Execution, Parameterized Validation, Model-based Testing, Message Sequence Charts Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T11:03:08Z 2010-04-08T11:03:08Z 2009-06-19 Thesis ANKIT GOEL (2009-06-19). Parameterized validation of UML-Like models for reactive embedded systems. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/16287 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Requirements Modeling, Unified Modeling Language (UML), Abstract Execution, Parameterized Validation, Model-based Testing, Message Sequence Charts
spellingShingle	Requirements Modeling, Unified Modeling Language (UML), Abstract Execution, Parameterized Validation, Model-based Testing, Message Sequence Charts ANKIT GOEL Parameterized validation of UML-Like models for reactive embedded systems
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE ANKIT GOEL
format	Theses and Dissertations
author	ANKIT GOEL
author_sort	ANKIT GOEL
title	Parameterized validation of UML-Like models for reactive embedded systems
title_short	Parameterized validation of UML-Like models for reactive embedded systems
title_full	Parameterized validation of UML-Like models for reactive embedded systems
title_fullStr	Parameterized validation of UML-Like models for reactive embedded systems
title_full_unstemmed	Parameterized validation of UML-Like models for reactive embedded systems
title_sort	parameterized validation of uml-like models for reactive embedded systems
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/16287
_version_	1821195195745566720

Parameterized validation of UML-Like models for reactive embedded systems

Similar Items