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

Keynote Speaker

• Victor R. Basili:
  The Role of Empirical Study in Software Engineering. 3-6
  

Requirements Issues

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

Keynote Speaker

• Tiziana Margaria, Bernhard Steffen:
  Service Engineering: Linking Business and IT. 33-36
  

Pot Pourri

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

Project Management and Related Issues

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

Keynote Speaker

• Manfred Broy:
  The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. 85-88
  

Modeling and Processes

• Stéphane Mercier, Michel Lavoie, Roger Champagne:
  Unified Software Method: An Engineering Approach to Software Engineering. 89-96
  
• Akram Idani, Yves Ledru, Didier Bert:
  A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. 97-106
  
• 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
  

Keynote Speaker

• Judith Bishop, R. Nigel Horspool:
  Cross-Platform Development: Software that Lasts. 119-122
  

Simulation and Model Checking

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

Applications

• D. Richard Kuhn, Vadim Okun:
  Pseudo-Exhaustive Testing for Software. 153-158
  
• 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
  
• Roy Sterritt, Edward Hanna, Patricia O'Hagan, Grainne Garrity:
  Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System. 167-174
  

Keynote Speaker

• David Gries:
  What Have We Not Learned about Teaching Programming? 175-178
  

Concurrency and Real-Time Issues

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

Keynote Speaker

• Jim Woodcock:
  First Steps in the Verified Software Grand Challenge. 203-206
  

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
  
• Jianli Xu:
  Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. 212-222
  
• 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
  
• Richard Banach, Michael Poppleton, Susan Stepney:
  Retrenching the Purse: Finite Exception Logs, and Validating the Small. 234-248
  

Keynote Speaker

• Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi:
  Towards Open-World Software: Issue and Challenges. 249-252
  

ZUM 2006 papers

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