Sciweavers

SIGSOFT
2010
ACM

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

13 years 1 months ago
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
Ivo Krka
Added 15 Feb 2011
Updated 15 Feb 2011
Type Journal
Year 2010
Where SIGSOFT
Authors Ivo Krka
Comments (0)