From requirements to partial behavior models: an iterative approach to incremental specification refinement
Abstract
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.