31. SEW 2007: Loyola College, Columbia, MD, USA

31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA. IEEE Computer Society 2007

Development Methods, Issues and Patterns

Ahmed Samy Sidky, James D. Arthur:
Determining the Applicability of Agile Practices to Mission and Life-Critical Systems. 3-12
Ana Sofia C. Marcal, Felipe S. Furtado Soares, Arnaldo Dias Belchior:
Mapping CMMI Project Management Process Areas to SCRUM Practices. 13-22
Scott Henninger:
A Framework for Flexible and Executable Usability Patterns Standards. 23-34

Jingjun Zhang, Furong Li, Yang Zhang:
Aspect-Oriented Requirements Modeling. 35-40
John Carter, William B. Gardner:
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. 41-52

Zoë R. Stephenson, John A. McDermid:
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. 53-62
Jingjun Zhang, Hui Li, Furong Li:
Research on Aspect Connectors for Software Architecture Adaptation. 63-66
Chunying Zhao, Kang Zhang:
Transformational Approaches to Model Driven Architecture - A Review. 67-74
Qin Li, Huibiao Zhu, Jifeng He:
An Inconsistency Free Formalization of B/S Architecture. 75-88

Gabriela Robiolo, Ricardo Orosco:
An Alternative Method Employing Uses Cases for Early Effort Estimation. 89-98
Reinhold Plösch, Harald Gruber, A. Hentschel, Christian Körner, Gustav Pomberger, Stefan Schiffer, Matthias Saft, S. Storck:
The EMISQ Method - Expert Based Evaluation of Internal Software Quality. 99-108
Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu:
Testing Patterns. 109-120

Johann Duscher, Amine El Malki:
A Reference Net Based Formalization of Concurrent Cognitive Decision Making. 121-131
Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. 131-143
Ali Mili:
A Refinement Based Framework for Computing Loop Behavior. 144-153
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He:
Looking into Compensable Transactions. 154-166

Norman F. Schneidewind:
A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications. 167-178
Janice Hill:
A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases. 179-186

William C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa:
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion. 187-193
Fernando Valles-Barajas:
A Formal Model for the Building of State Machines: A Lightweight Approach. 194-203
Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide:
Abstracting Pointers for a Verifying Compiler. 204-213
Tiziana Margaria, Bernhard Steffen:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. 214-226

Dong Kwan Kim, Shawn A. Bohner:
An AOP-based Performance Evaluation Framework for UML Models. 227-235
Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li:
An Operational Approach to BPEL-like Programming. 236-245
Peter T. Breuer, Simon Pickin:
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. 246-255
Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu:
Modeling and Verifying Web Services Choreography Using Process Algebra. 256-268

Irfan Hamid, Elie Najm, Jérôme Hugues:
A Generative Approach to Building a Framework for Hard Real-Time Applications. 269-278
Weidong Liao, Benjamin J. Koonse:
A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment. 279-283
Shukri Wakid, Roy Sterritt:
Virtualization the Enabler for the Autonomic Business Grid. 284-289
Amine Chigani, James D. Arthur, Shawn A. Bohner:
Architecting Network-Centric Software Systems: A Style-Based Beginning. 290-299
Emil Vassev, Joey Paquet:
ASSL - Autonomic System Specification Language. 300-309