The Community for Technology Leaders
2012 35th Annual IEEE Software Engineering Workshop (2006)
Columbia, Maryland
Apr. 24, 2006 to Apr. 28, 2006
ISSN: 1550-6215
ISBN: 0-7695-2624-1
TABLE OF CONTENTS

Foreword (PDF)

pp. viii
Introduction

Foreword (PDF)

pp. viii
Keynote Speaker

The Role of Empirical Study in Software Engineering (PDF)

Victor R. Basili , University of Maryland and Fraunhofer Center--Maryland
pp. 3-6
Requirements Issues

An Empirical Study on the Relationship between Defective Requirements and Test Failures (Abstract)

Robert W. Ferguson , Carnegie Mellon University, USA
Giuseppe Lami , Istituto di Scienze e Tecnologie dell'Informazione "A.Faedo", Italy
pp. 7-10

Qualitative Modeling for Requirements Engineering (Abstract)

Julian Richardson , RIACS/USRA, NASA Ames Research Center, USA
Tim Menzies , Portland State University, USA
pp. 11-20

Analyzing and Systematizing Current Traceability Schemas (Abstract)

Pedro P. Alarcon , Technical University of Madrid (UPM, Universidad Politecnica de Madrid), Spain
Angelina Espinoza , Technical University of Madrid (UPM, Universidad Politecnica de Madrid), Spain
Juan Garbajosa , Technical University of Madrid (UPM, Universidad Politecnica de Madrid), Spain
pp. 21-32
Keynote Speaker

Service Engineering: Linking Business and IT (PDF)

Bernhard Steffen , Universitat Dortmund, Germany
Tiziana Margaria , Universitat Postdam, Germany
pp. 33-36
Pot Pourri

A Comparative Study of Monitoring Tools for Pattern-Centric Behavior (Abstract)

Jason O. Hallstrom , Clemson University, USA
Neelam Soundarajan , Ohio State University, USA
Benjamin Tyler , Ohio State University, USA
pp. 37-46

Understanding Open Source Software through Software Archaeology: The Case of Nethack (Abstract)

Phillip A. Laplante , Penn State University, USA
Pam Vercellone-Smith , Penn State University, USA
Melissa M. Simmons , Penn State University, USA
pp. 47-58
Project Management and Related Issues

Goal-Driven Software Development (Abstract)

Ingo Schnabel , itestra GmbH, Germany
Markus Pizka , Technische Universitat Munchen, Germany
pp. 59-65

Understanding Change Requests to Predict Software Impact (Abstract)

Christopher Ackermann , Fraunhofer Center for Experimental Software Engineering Maryland, USA
Mikael Lindvall , Fraunhofer Center for Experimental Software Engineering Maryland, USA
pp. 66-75

Software Project Management Tools: Making a Practical Decision Using AHP (Abstract)

Phillip A. Laplante , Penn State University, USA
Norita Ahmad , Penn State University, USA
pp. 76-84
Keynote Speaker
Modeling and Processes

Unified Software Method: An Engineering Approach to Software Engineering (Abstract)

Michel Lavoie , Ecole de Technologie Superieure, Canada
Roger Champagne , Ecole de Technologie Superieure, Canada
Stephane Mercier , Ecole de Technologie Superieure, Canada
pp. 89-96

A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams (Abstract)

Yves Ledru , Universite Joseph Fourier, IMAG, France
Didier Bert , Universite Joseph Fourier, IMAG, France
Akram Idani , Universite Joseph Fourier, IMAG, France
pp. 97-106

SPDW: A Software Development Process Performance Data Warehousing Environment (Abstract)

Taisa C. Novello , Pontificia Universidade do Rio Grande do Sul, Brazil
Virginia S. Cunha , Pontificia Universidade do Rio Grande do Sul, Brazil
Karin Becker , Pontificia Universidade do Rio Grande do Sul, Brazil
Franco Vieira e Souza , HP Brasil Ltda, Brazil
Duncan D. Ruiz , Pontificia Universidade do Rio Grande do Sul, Brazil
pp. 107-118
Keynote Speaker

Cross-Platform Development: Software that Lasts (PDF)

Judith Bishop , University of Pretoria, South Africa
Nigel Horspool , University of Victoria, South Africa
pp. 119-122
Simulation and Model Checking

Using Simulation to Validate Style-Specific Architectural Refactoring Patterns (Abstract)

Zoe Stephenson , University of York, UK
Jason Choy , University of York, UK
John McDermid , University of York, UK
pp. 123-132

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker (Abstract)

Pavel Parizek , Charles University, Czech Republic
Frantisek Plasil , Charles University, Czech Republic; Academy of Sciences of the Czech Republic
Jan Kofron , Charles University, Czech Republic; Academy of Sciences of the Czech Republic
pp. 133-141

An Eclipse Plug-in for the Java PathFinder Runtime Verification System (Abstract)

Luigi Ubezio , Universita degli Studi di Milano-Bicocca, Italy
Francesca Arcelli , Universita degli Studi di Milano-Bicocca, Italy
Ivano Rigo , Universita degli Studi di Milano-Bicocca, Italy
Claudia Raibulet , Universita degli Studi di Milano-Bicocca, Italy
pp. 142-152
Applications

Pseudo-Exhaustive Testing for Software (Abstract)

Vadim Okum , National Institute of Standards and Technology, USA
D. Richard Kuhn , National Institute of Standards and Technology, USA
pp. 153-158

An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data (Abstract)

Yuqi Bai , George Mason University, USA
Liping Di , George Mason University, USA
Yaxing Wei , George Mason University, USA
Aijun Chen , George Mason University, USA
Yang Liu , George Mason University, USA
pp. 159-166

Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System (Abstract)

Edward Hanna , Core Systems, Northern Ireland
Roy Sterritt , University of Ulster, Northern Ireland, UK
Patricia O'Hagan , Core Systems, Northern Ireland
pp. 167-174
Keynote Speaker
Concurrency and Real-Time Issues

Integrating Probability with Time and Shared-Variable Concurrency (Abstract)

Jifeng He , East China Normal University, China
Jonathan P. Bowen , London South Bank University, UK
Shengchao Qin , University of Durham, UK
Huibiao Zhu , East China Normal University, China
pp. 179-189

An Operational Semantics of an Event-Driven System-Level Simulator (Abstract)

Naiyong Jin , East China Normal University, China
Xiaoqing Peng , East China Normal University, China
Huibiao Zhu , East China Normal University, China
Jifeng He , East China Normal University, China
pp. 190-202
Keynote Speaker
Formal Issues

Formal Verification of Abstract System and Protocol Specifications (Abstract)

Reynaldo Zavala , Lucent Technologies Network Systems GmbH, Nurnberg
Tobias Renner , Lucent Technologies Network Systems GmbH, Nurnberg
Axel Schneider , Lucent Technologies Network Systems GmbH, Nurnberg
Joachim Knablein , Lucent Technologies Network Systems GmbH, Nurnberg
Ulrich Heinkel , Lucent Technologies Network Systems GmbH, Nurnberg
Thomas Bluhm , Lucent Technologies Network Systems GmbH, Nurnberg
pp. 207-211

Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source (Abstract)

Maria Larrondo Petrie , Universidad Carlos III de Madrid, Spain; Florida Atlantic University, USA
Peter T. Breuer , Universidad Carlos III de Madrid, Spain; Florida Atlantic University, USA
Simon Pickin , Universidad Carlos III de Madrid, Spain; Florida Atlantic University, USA
pp. 223-233

Retrenching the Purse: Finite Exception Logs, and Validating the Small (Abstract)

Richard Banach , University of Manchester, UK
Susan Stepney , University of York, UK
Michael Poppleton , University of Southampton, UK
pp. 234-248
Keynote Speaker

Towards Open-World Software: Issue and Challenges (PDF)

Luciano Baresi , Politecnico di Milano, Italy
Carlo Ghezzi , Politecnico di Milano, Italy
Elisabetta Di Nitto , Politecnico di Milano, Italy
pp. 249-252
ZUM 2006 papers

Using Jaza to Animate RoZ Specifications of UML Class Diagrams (Abstract)

Y. Ledru , Universite Joseph Fourier, IMAG, France
pp. 253-262

A Verified Formal Model of a VC Generator (Abstract)

R.D. Arthan , Lemma 1 Ltd., UK
pp. 263-271

Using Views to Specify a Synchronization Aspect for Object-Oriented Languages (Abstract)

R. Behrends , Michigan State University, USA
L.K. Dillon , Michigan State University, USA
R.E.K. Stirewalt , Michigan State University, USA
pp. 272-281

Formal Z Specifications of Several Flat Role-Based Access Control Models (Abstract)

Etienne J. Khayat , London Bank University, UK
Ali E. Abdallah , London Bank University, UK
pp. 282-292
Author Index

Author Index (PDF)

pp. 293
99 ms
(Ver 3.1 (10032016))