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.

[1]  Ivo Krka.  Synthesizing and utilizing partial behavior models during requirements elicitation , 2009, ESEC/FSE Doctoral Symposium '09.

[3]  Sebastián Uchitel,et al.  On correct and complete strong merging of partial behaviour models , 2008, SIGSOFT '08/FSE-16.

[4]  Marsha Chechik,et al.  Synthesis of Partial Behavior Models from Properties and Scenarios , 2009, IEEE Transactions on Software Engineering.

[5]  Marsha Chechik,et al.  Merging partial behavioural models , 2004, SIGSOFT '04/FSE-12.

[6]  Dimitra Giannakopoulou,et al.  Fluent model checking for event-based systems , 2003, ESEC/FSE-11.

[7]  Sam Malek,et al.  Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support , 2007, 29th International Conference on Software Engineering (ICSE'07).

[8]  Yuriy Brun,et al.  Using dynamic execution traces and program invariants to enhance behavioral model inference , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[9]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[10]  Yuriy Brun,et al.  An architecture-driven software mobility framework , 2010, J. Syst. Softw..

[11]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .

[12]  Jürgen Dingel,et al.  A comparative survey of scenario-based to state-based model synthesis approaches , 2006, SCESM '06.

[13]  Yuriy Brun,et al.  Synthesizing partial component-level behavior models from system specifications , 2009, ESEC/FSE '09.

[14]  Sebastián Uchitel,et al.  Behaviour model elaboration using partial labelled transition systems , 2003, ESEC/FSE-11.

[15]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[16]  Sebastián Uchitel,et al.  Existential live sequence charts revisited , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[17]  Yuriy Brun,et al.  From system specifications to component behavioral models , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[18]  Dalal Alrajeh,et al.  Learning operational requirements from goal models , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[19]  Sebastián Uchitel,et al.  Incremental elaboration of scenario-based specifications and behavior models using implied scenarios , 2004, TSEM.

[20]  Jeff Magee,et al.  Concurrency - state models and Java programs (2. ed.) , 2006 .