Loading...
Date
2010
Abstract
Early system requirements are often captured by declarative and property-based artifacts, such as scenarios and goals. While such artifacts are intuitive and useful, they are partial and typically lack an overarching structure to allow systematic elaboration of the fragmented behaviors they denote. I aim to develop a design technique for structuring the partial specifications by partitioning the state-space based on Parnas’ notions of ‘modes’ and ‘modeclasses’. A mode is set of states, characterized by a predicate. A mode-class is a set of disjoint modes completely covering the state space. The structuring framework supports early elaboration of partial specification, and facilitates improved synthesis of integrated system behavioral prototype.
Supervisor
Description
peer-reviewed
Publisher
Association for Computing Machinery
Citation
FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of Software Engineering.;2010
Files
Loading...
2010_Shokry%2C%20H.pdf
Adobe PDF, 113.14 KB
ULRR Identifiers
Funding code
Funding Information
Science Foundation Ireland (SFI)