From requirements to partial behavior models: an iterative approach to incremental specification refinement

In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining Modal Transition Systems. Categories and Subject Descriptors D.2 [Software Engineering]: Requirements/Specifications; D.2 [Software Engineering]: Software Architectures Keywords modal transition systems, synthesis, elicitation, refinement

• Type: Journal
• Year: 2010
• Where: SIGSOFT
• Authors: Ivo Krka
• Keywords: Modal Transition Systems, SIGSOFT 2010, Software Engineering, Transition Systems