9. ESEC / 11. SIGSOFT FSE 2003: Helsinki, Finland

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. ACM 2003 BibTeX

Giuseppe Longo:
Computer modelling and natural phenomena. 1-5
Electronic Edition (ACM DL) BibTeX
Leon J. Osterweil:
Understanding process and the quest for deeper questions in software engineering research. 6-14
Electronic Edition (ACM DL) BibTeX
Ari Jaaksi:
Assessing software projects: tools for business owners. 15-18
Electronic Edition (ACM DL) BibTeX

Requirements engineering and design

Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Behaviour model elaboration using partial labelled transition systems. 19-27
Electronic Edition (ACM DL) BibTeX
Ralph D. Jeffords, Constance L. Heitmeyer:
A strategy for efficiently verifying requirements. 28-37
Electronic Edition (ACM DL) BibTeX
Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake:
Towards the compositional verification of real-time UML designs. 38-47
Electronic Edition (ACM DL) BibTeX
Don S. Batory, Jia Liu, Jacob Neal Sarvela:
Refinements and multi-dimensional separation of concerns. 48-57
Electronic Edition (ACM DL) BibTeX

Software architectures, patterns, and frameworks

Petri Selonen, Jianli Xu:
Validating UML models against architectural profiles. 58-67
Electronic Edition (ACM DL) BibTeX
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró:
Modeling and validation of service-oriented architectures: application vs. style. 68-77
Electronic Edition (ACM DL) BibTeX
Jeremy S. Bradbury, Jürgen Dingel:
Evaluating and improving the automatic analysis of implicit invocation systems. 78-87
Electronic Edition (ACM DL) BibTeX
Giovanni Vigna, Fredrik Valeur, Richard A. Kemmerer:
Designing and implementing a family of intrusion detection systems. 88-97
Electronic Edition (ACM DL) BibTeX

Testing and test tools

Gregory M. Kapfhammer, Mary Lou Soffa:
A family of test adequacy criteria for database-driven applications. 98-107
Electronic Edition (ACM DL) BibTeX
Nguyen Tran Sy, Yves Deville:
Consistency techniques for interprocedural test data generation. 108-117
Electronic Edition (ACM DL) BibTeX
Atif M. Memon, Mary Lou Soffa:
Regression testing of GUIs. 118-127
Electronic Edition (ACM DL) BibTeX
Alessandro Orso, Taweesup Apiwattanapong, Mary Jean Harrold:
Leveraging field data for impact analysis and regression testing. 128-137
Electronic Edition (ACM DL) BibTeX

Software process and workflow

James D. Herbsleb, Audris Mockus:
Formulation and preliminary test of an empirical theory of coordination in software engineering. 138-137
Electronic Edition (ACM DL) BibTeX
Tore Dybå:
Factors of software process improvement success in small and large organizations: an empirical study in the scandinavian context. 148-157
Electronic Edition (ACM DL) BibTeX
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur:
Monitoring the software test process using statistical process control: a logarithmic approach. 158-167
Electronic Edition (ACM DL) BibTeX
Matthias M. Müller, Frank Padberg:
On the economic evaluation of XP projects. 168-177
Electronic Edition (ACM DL) BibTeX

Validation and verification

Jens Krinke:
Context-sensitive slicing of concurrent programs. 178-187
Electronic Edition (ACM DL) BibTeX
Oksana Tkachuk, Matthew B. Dwyer:
Adapting side effects analysis for modular program model checking. 188-197
Electronic Edition (ACM DL) BibTeX
Dennis Brylow, Jens Palsberg:
Deadline analysis of interrupt-driven software. 198-207
Electronic Edition (ACM DL) BibTeX
Claus Pahl, Michael Casey:
Ontology support for web service processes. 208-216
Electronic Edition (ACM DL) BibTeX

Software reuse and evolution

Jukka Viljamaa:
Reverse engineering framework reuse interfaces. 217-226
Electronic Edition (ACM DL) BibTeX
Dirk Ohst, Michael Welle, Udo Kelter:
Differences between versions of UML diagrams. 227-236
Electronic Edition (ACM DL) BibTeX

Software analysis and model checking

Stan Jarzabek, Shubiao Li:
Eliminating redundancies with a "composition with adaptation" meta-programming technique. 237-246
Electronic Edition (ACM DL) BibTeX
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan:
Towards scalable compositional analysis by refactoring design models. 247-256
Electronic Edition (ACM DL) BibTeX
Dimitra Giannakopoulou, Jeff Magee:
Fluent model checking for event-based systems. 257-266
Electronic Edition (ACM DL) BibTeX
Robby, Matthew B. Dwyer, John Hatcliff:
Bogor: an extensible and highly-modular software model checking framework. 267-276
Electronic Edition (ACM DL) BibTeX

Component-based software engineering

Fei Xie, James C. Browne:
Verified systems by composition from verified components. 277-286
Electronic Edition (ACM DL) BibTeX
Stephen McCamant, Michael D. Ernst:
Predicting problems caused by component upgrades. 287-296
Electronic Edition (ACM DL) BibTeX
Hridesh Rajan, Kevin J. Sullivan:
Eos: instance-level aspects for integrated system design. 291-306
Electronic Edition (ACM DL) BibTeX

Safety and security

Suan Hsi Yong, Susan Horwitz:
Protecting C programs from attacks via invalid pointer dereferences. 307-316
Electronic Edition (ACM DL) BibTeX
V. Benjamin Livshits, Monica S. Lam:
Tracking pointers with path and context sensitivity for bug detection in C programs. 317-326
Electronic Edition (ACM DL) BibTeX
Yichen Xie, Andy Chou, Dawson R. Engler:
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. 327-336
Electronic Edition (ACM DL) BibTeX
Koushik Sen, Grigore Rosu, Gul Agha:
Runtime safety analysis of multithreaded programs. 337-346
Electronic Edition (ACM DL) BibTeX

Poster Session

Nikunj R. Mehta, Nenad Medvidovic:
Composing architectural styles from architectural primitives. 347-350
Electronic Edition (ACM DL) BibTeX
Kleanthis Thramboulidis:
Towards an engineering tool for implementing reusable distributed control systems. 351-354
Electronic Edition (ACM DL) BibTeX
Antonia Bertolino, Stefania Gnesi:
Use case-based testing of product lines. 355-358
Electronic Edition (ACM DL) BibTeX
Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel:
EFFICIENT: a tool set for supporting the modelling and validation of ebXML. 359-362
Electronic Edition (ACM DL) BibTeX
Simonetta Balsamo, Moreno Marzolla:
A simulation-based approach to software performance modeling. 363-366
Electronic Edition (ACM DL) BibTeX
Alexander Ran, Raimondas Lencevicius:
Making sense of runtime architecture for mobile phone software. 367-370
Electronic Edition (ACM DL) BibTeX
Eunyoung Lee, Andrew W. Appel:
Policy-enforced linking of untrusted components. 371-374
Electronic Edition (ACM DL) BibTeX
Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos:
A fault-tolerant software architecture for COTS-based software systems. 375-378
Electronic Edition (ACM DL) BibTeX
Richard S. Hall, Humberto Cervantes:
Gravity: supporting dynamically available services in client-side applications. 379-382
Electronic Edition (ACM DL) BibTeX