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 BibTeX

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
Electronic Edition (link) BibTeX
Ana Sofia C. Marcal, Felipe S. Furtado Soares, Arnaldo Dias Belchior:
Mapping CMMI Project Management Process Areas to SCRUM Practices. 13-22
Electronic Edition (link) BibTeX
Scott Henninger:
A Framework for Flexible and Executable Usability Patterns Standards. 23-34
Electronic Edition (link) BibTeX

Requirements

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

Architectural Issues

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

Testing and Estimation

Gabriela Robiolo, Ricardo Orosco:
An Alternative Method Employing Uses Cases for Early Effort Estimation. 89-98
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu:
Testing Patterns. 109-120
Electronic Edition (link) BibTeX

Formal Aspects

Johann Duscher, Amine El Malki:
A Reference Net Based Formalization of Concurrent Cognitive Decision Making. 121-131
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Ali Mili:
A Refinement Based Framework for Computing Loop Behavior. 144-153
Electronic Edition (link) BibTeX
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He:
Looking into Compensable Transactions. 154-166
Electronic Edition (link) BibTeX

Software Safety, Quality, and Reliability

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

Tools

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
Electronic Edition (link) BibTeX
Fernando Valles-Barajas:
A Formal Model for the Building of State Machines: A Lightweight Approach. 194-203
Electronic Edition (link) BibTeX
Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide:
Abstracting Pointers for a Verifying Compiler. 204-213
Electronic Edition (link) BibTeX
Tiziana Margaria, Bernhard Steffen:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. 214-226
Electronic Edition (link) BibTeX

Modeling and Verification Issues

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

Distributed, Grid and Real-Time Systems

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