30. SEW 2006: Loyola College Graduate Center, Columbia, MD, USA

30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. IEEE Computer Society 2006 BibTeX

Keynote Speaker

Victor R. Basili:
The Role of Empirical Study in Software Engineering. 3-6
Electronic Edition (link) BibTeX

Requirements Issues

Robert W. Ferguson, Giuseppe Lami:
An Empirical Study on the Relationship between Defective Requirements and Test Failures. 7-10
Electronic Edition (link) BibTeX
Tim Menzies, Julian Richardson:
Qualitative Modeling for Requirements Engineering. 11-20
Electronic Edition (link) BibTeX
Angelina Espinoza, Pedro Pablo Alarcón, Juan Garbajosa:
Analyzing and Systematizing Current Traceability Schemas. 21-32
Electronic Edition (link) BibTeX

Keynote Speaker

Tiziana Margaria, Bernhard Steffen:
Service Engineering: Linking Business and IT. 33-36
Electronic Edition (link) BibTeX

Pot Pourri

Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan:
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. 37-46
Electronic Edition (link) BibTeX
Melissa M. Simmons, Pam Vercellone-Smith, Phillip A. Laplante:
Understanding Open Source Software through Software Archaeology: The Case of Nethack. 47-58
Electronic Edition (link) BibTeX

Project Management and Related Issues

Ingo Schnabel, Markus Pizka:
Goal-Driven Software Development. 59-65
Electronic Edition (link) BibTeX
Christopher Ackermann, Mikael Lindvall:
Understanding Change Requests to Predict Software Impact. 66-75
Electronic Edition (link) BibTeX
Norita Ahmad, Phillip A. Laplante:
Software Project Management Tools: Making a Practical Decision Using AHP. 76-84
Electronic Edition (link) BibTeX

Keynote Speaker

Manfred Broy:
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. 85-88
Electronic Edition (link) BibTeX

Modeling and Processes

Stephane Mercier, Michel Lavoie, Roger Champagne:
Unified Software Method: An Engineering Approach to Software Engineering. 89-96
Electronic Edition (link) BibTeX
Akram Idani, Yves Ledru, Didier Bert:
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. 97-106
Electronic Edition (link) BibTeX
Karin Becker, Duncan Dubugras A. Ruiz, Virginia S. Cunha, Taisa C. Novello, Franco Vieira e Souza:
SPDW: A Software Development Process Performance Data Warehousing Environment. 107-118
Electronic Edition (link) BibTeX

Keynote Speaker

Judith Bishop, R. Nigel Horspool:
Cross-Platform Development: Software that Lasts. 119-122
Electronic Edition (link) BibTeX

Simulation and Model Checking

Zoë R. Stephenson, John A. McDermid, Jason Choy:
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. 123-132
Electronic Edition (link) BibTeX
Pavel Parizek, Frantisek Plasil, Jan Kofron:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. 133-141
Electronic Edition (link) BibTeX
Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio:
An Eclipse Plug-in for the Java PathFinder Runtime Verification System. 142-152
Electronic Edition (link) BibTeX

Applications

D. Richard Kuhn, Vadim Okun:
Pseudo-Exhaustive Testing for Software. 153-158
Electronic Edition (link) BibTeX
Aijun Chen, Liping Di, Yaxing Wei, Yuqi Bai, Yang Liu:
An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data. 159-166
Electronic Edition (link) BibTeX
Roy Sterritt, Edward Hanna, Patricia O'Hagan, Grainne Garrity:
Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System. 167-174
Electronic Edition (link) BibTeX

Keynote Speaker

David Gries:
What Have We Not Learned about Teaching Programming? 175-178
Electronic Edition (link) BibTeX

Concurrency and Real-Time Issues

Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen:
Integrating Probability with Time and Shared-Variable Concurrency. 179-189
Electronic Edition (link) BibTeX
Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator. 190-202
Electronic Edition (link) BibTeX

Keynote Speaker

Jim Woodcock:
First Steps in the Verified Software Grand Challenge. 203-206
Electronic Edition (link) BibTeX

Formal Issues

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala:
Formal Verification of Abstract System and Protocol Specifications. 207-211
Electronic Edition (link) BibTeX
Jianli Xu:
Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. 212-222
Electronic Edition (link) BibTeX
Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie:
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. 223-233
Electronic Edition (link) BibTeX
Richard Banach, Michael Poppleton, Susan Stepney:
Retrenching the Purse: Finite Exception Logs, and Validating the Small. 234-248
Electronic Edition (link) BibTeX

Keynote Speaker

Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi:
Towards Open-World Software: Issue and Challenges. 249-252
Electronic Edition (link) BibTeX

ZUM 2006 papers

Yves Ledru:
Using Jaza to Animate RoZ Specifications of UML Class Diagrams. 253-262
Electronic Edition (link) BibTeX
R. D. Arthan:
A Verified Formal Model of a VC Generator. 263-271
Electronic Edition (link) BibTeX
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends:
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. 272-281
Electronic Edition (link) BibTeX
Ali E. Abdallah, Etienne J. Khayat:
Formal Z Specifications of Several Flat Role-Based Access Control Models. 282-292
Electronic Edition (link) BibTeX