CSDL - Proceedings S

Organizing Committee (PDF)

pp. ix

Program Committee (PDF)

pp. x

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

PDF

Qualitative Modeling for Requirements Engineering (Abstract)

Tim Menzies, Portland State University, USA

Julian Richardson, RIACS/USRA, NASA Ames Research Center, USA

pp. 11-20

PDF

Analyzing and Systematizing Current Traceability Schemas (Abstract)

Angelina Espinoza, Technical University of Madrid (UPM, Universidad Politecnica de Madrid), Spain

Pedro P. Alarcon, 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

PDF

Service Engineering: Linking Business and IT (PDF)

Tiziana Margaria, Universitat Postdam, Germany

Bernhard Steffen, Universitat Dortmund, Germany

pp. 33-36

Pot Pourri

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

Benjamin Tyler, Ohio State University, USA

Jason O. Hallstrom, Clemson University, USA

Neelam Soundarajan, Ohio State University, USA

pp. 37-46

PDF

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

Melissa M. Simmons, Penn State University, USA

Pam Vercellone-Smith, Penn State University, USA

Phillip A. Laplante, Penn State University, USA

pp. 47-58

PDF

Project Management and Related Issues

Goal-Driven Software Development (Abstract)

Ingo Schnabel, itestra GmbH, Germany

Markus Pizka, Technische Universitat Munchen, Germany

pp. 59-65

PDF

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

PDF

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

Norita Ahmad, Penn State University, USA

Phillip A. Laplante, Penn State University, USA

pp. 76-84

PDF

The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems (PDF)

Manfred Broy, Technische Universitat Muchen, Germany

pp. 85-88

Modeling and Processes

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

Stephane Mercier, Ecole de Technologie Superieure, Canada

Michel Lavoie, Ecole de Technologie Superieure, Canada

Roger Champagne, Ecole de Technologie Superieure, Canada

pp. 89-96

PDF

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

Akram Idani, Universite Joseph Fourier, IMAG, France

Yves Ledru, Universite Joseph Fourier, IMAG, France

Didier Bert, Universite Joseph Fourier, IMAG, France

pp. 97-106

PDF

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

Karin Becker, Pontificia Universidade do Rio Grande do Sul, Brazil

Duncan D. Ruiz, Pontificia Universidade do Rio Grande do Sul, Brazil

Virginia S. Cunha, Pontificia Universidade do Rio Grande do Sul, Brazil

Taisa C. Novello, Pontificia Universidade do Rio Grande do Sul, Brazil

Franco Vieira e Souza, HP Brasil Ltda, Brazil

pp. 107-118

PDF

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

John McDermid, University of York, UK

Jason Choy, University of York, UK

pp. 123-132

PDF

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

PDF

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

Francesca Arcelli, Universita degli Studi di Milano-Bicocca, Italy

Claudia Raibulet, Universita degli Studi di Milano-Bicocca, Italy

Ivano Rigo, Universita degli Studi di Milano-Bicocca, Italy

Luigi Ubezio, Universita degli Studi di Milano-Bicocca, Italy

pp. 142-152

PDF

Applications

Pseudo-Exhaustive Testing for Software (Abstract)

D. Richard Kuhn, National Institute of Standards and Technology, USA

Vadim Okum, National Institute of Standards and Technology, USA

pp. 153-158

PDF

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

Aijun Chen, George Mason University, USA

Liping Di, George Mason University, USA

Yaxing Wei, George Mason University, USA

Yuqi Bai, George Mason University, USA

Yang Liu, George Mason University, USA

pp. 159-166

PDF

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

Roy Sterritt, University of Ulster, Northern Ireland, UK

Edward Hanna, Core Systems, Northern Ireland

Patricia O'Hagan, Core Systems, Northern Ireland

Grainne Garrity

pp. 167-174

PDF

What Have We Not Learned about Teaching Programming? (PDF)

David Gries, Cornell University, USA

pp. 175-178

Concurrency and Real-Time Issues

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

Huibiao Zhu, East China Normal University, China

Shengchao Qin, University of Durham, UK

Jifeng He, East China Normal University, China

Jonathan P. Bowen, London South Bank University, UK

pp. 179-189

PDF

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

Xiaoqing Peng, East China Normal University, China

Huibiao Zhu, East China Normal University, China

Jifeng He, East China Normal University, China

Naiyong Jin, East China Normal University, China

pp. 190-202

PDF

First Steps in the Verified Software Grand Challenge (PDF)

Jim Woodcock, University of York, UK

pp. 203-206

Formal Issues

Formal Verification of Abstract System and Protocol Specifications (Abstract)

Axel Schneider, Lucent Technologies Network Systems GmbH, Nurnberg

Thomas Bluhm, Lucent Technologies Network Systems GmbH, Nurnberg

Tobias Renner, Lucent Technologies Network Systems GmbH, Nurnberg

Ulrich Heinkel, Lucent Technologies Network Systems GmbH, Nurnberg

Joachim Knablein, Lucent Technologies Network Systems GmbH, Nurnberg

Reynaldo Zavala, Lucent Technologies Network Systems GmbH, Nurnberg

pp. 207-211

PDF

Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques (Abstract)

Jianli Xu, Nokia Research Center, Finland

pp. 212-222

PDF

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

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

Maria Larrondo Petrie, Universidad Carlos III de Madrid, Spain; Florida Atlantic University, USA

pp. 223-233

PDF

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

Richard Banach, University of Manchester, UK

Michael Poppleton, University of Southampton, UK

Susan Stepney, University of York, UK

pp. 234-248

PDF

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

Luciano Baresi, Politecnico di Milano, Italy

Elisabetta Di Nitto, Politecnico di Milano, Italy

Carlo Ghezzi, 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

PDF

A Verified Formal Model of a VC Generator (Abstract)

R.D. Arthan, Lemma 1 Ltd., UK

pp. 263-271

PDF

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

R.E.K. Stirewalt, Michigan State University, USA

L.K. Dillon, Michigan State University, USA

R. Behrends, Michigan State University, USA

pp. 272-281

PDF

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

Ali E. Abdallah, London Bank University, UK

Etienne J. Khayat, London Bank University, UK

pp. 282-292

PDF

Author Index

Author Index (PDF)

pp. 293