Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/49163
Title: Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
Authors: HENG BOON KUI
Keywords: formalization, design decisions, software product lines
Issue Date: 30-Oct-2013
Source: HENG BOON KUI (2013-10-30). Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines. ScholarBank@NUS Repository.
Abstract: A software system is designed to fulfill its functional and quality requirements. As the system is designed, the design issues that occur have to be solved by applying the appropriate design solutions. A design decision is taken for an occurrence of design issue by instantiating a design solution and customizing it to suit the context of that part of the system. The designers typically take into account functional requirements, quality attributes, occurrences of design issues, design solutions, and design decisions. All these form a complicated and ever changing web of information which is essential for making informed design decisions. I formalize the key aspects of the web of design information. I envision the use of my model as a basis for IDEs that can help developers in documenting and validating software design for single systems and SPLs. I also address the key challenges in building such IDEs.
URI: http://scholarbank.nus.edu.sg/handle/10635/49163
Appears in Collections:Master's Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
131024 MSc Thesis.pdf2.69 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

111
checked on Feb 16, 2018

Download(s)

158
checked on Feb 16, 2018

Google ScholarTM

Check


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