Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines

Master's

Saved in:

Bibliographic Details
Main Author:	HENG BOON KUI
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2014
Subjects:	formalization, design decisions, software product lines
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/49163
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-49163
record_format	dspace
spelling	sg-nus-scholar.10635-491632015-01-26T01:41:16Z Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines HENG BOON KUI COMPUTER SCIENCE JARZABEK, STANISLAW formalization, design decisions, software product lines Master's MASTER OF SCIENCE 2014-01-31T18:01:33Z 2014-01-31T18:01:33Z 2013-10-30 Thesis HENG BOON KUI (2013-10-30). Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/49163 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	formalization, design decisions, software product lines
spellingShingle	formalization, design decisions, software product lines HENG BOON KUI Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE HENG BOON KUI
format	Theses and Dissertations
author	HENG BOON KUI
author_sort	HENG BOON KUI
title	Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
title_short	Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
title_full	Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
title_fullStr	Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
title_full_unstemmed	Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
title_sort	formalizing and verifying design decisions in single systems and software product lines
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/49163
_version_	1681083558330892288

Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines

Similar Items