8. ESEC / 9. SIGSOFT FSE 2001: Vienna, Austria

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001

Architecture

André van der Hoek, Marija Mikic-Rakic, Roshanak Roshandel, Nenad Medvidovic:
Taming architectural evolution. 1-10
Electronic Edition (ACM DL) BibTeX
Yoshitomi Morisawa, Koji Torii:
An architectural style of product lines for distributed processing systems, and practical selection method. 11-20
Electronic Edition (ACM DL) BibTeX
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
A graph based architectural (Re)configuration language. 21-32
Electronic Edition (ACM DL) BibTeX
Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil:
An architecture for flexible, evolvable process-driven user-guidance environments. 33-43
Electronic Edition (ACM DL) BibTeX

Distributed systems

Nima Kaveh, Wolfgang Emmerich:
Deadlock detection in distribution object systems. 44-51
Electronic Edition (ACM DL) BibTeX
Ramesh Jagannathan, Paolo A. G. Sivilotti:
Increasing client-side confidence in remote component implementations. 52-61
Electronic Edition (ACM DL) BibTeX

Specification

Daniel Jackson, Ilya Shlyakhter, Manu Sridharan:
A micromodularity mechanism. 62-73
Electronic Edition (ACM DL) BibTeX
Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Detecting implied scenarios in message sequence chart specifications. 74-82
Electronic Edition (ACM DL) BibTeX
Peter Wendorff:
A formal approach to the assessment and improvement of terminological models used in information systems engineering. 83-87
Electronic Edition (ACM DL) BibTeX

Modularity

Yvonne Coady, Gregor Kiczales, Michael J. Feeley, Greg Smolyn:
Using aspectC to improve the modularity of path-specific customization in operating system code. 88-98
Electronic Edition (ACM DL) BibTeX
Kevin J. Sullivan, William G. Griswold, Yuanfang Cai, Ben Hallen:
The structure and value of modularity in software design. 99-108
Electronic Edition (ACM DL) BibTeX

Component composition

Luca de Alfaro, Thomas A. Henzinger:
Interface automata. 109-120
Electronic Edition (ACM DL) BibTeX
Paola Inverardi, Massimo Tivoli:
Automatic synthesis of deadlock free connectors for COM/DCOM applications. 121-131
Electronic Edition (ACM DL) BibTeX
Leigh A. Davis, Rose F. Gamble, Jamie Payton, Gerður Jónsdóttir, Dennis J. Underwood:
A notation for problematic architecture interactions. 132-141
Electronic Edition (ACM DL) BibTeX

Verification

Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè:
Using symbolic execution for verifying safety-critical systems. 142-151
Electronic Edition (ACM DL) BibTeX
Kathi Fisler, Shriram Krishnamurthi:
Modular verification of collaboration-based software designs. 152-163
Electronic Edition (ACM DL) BibTeX
Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Automatic abstraction for model checking software systems with interrelated numeric constraints. 164-174
Electronic Edition (ACM DL) BibTeX
Norman Ramsey, Elöd Csirmaz:
An algebraic approach to file synchronization. 175-185
Electronic Edition (ACM DL) BibTeX

Real time UML

Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen:
A methodology for specifying and analyzing consistency of object-oriented behavioral models. 186-195
Electronic Edition (ACM DL) BibTeX
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli:
Combining UML and formal notations for modelling real-time systems. 196-206
Electronic Edition (ACM DL) BibTeX

Components

Chris Lüer, David S. Rosenblum:
WREN---an environment for component-based development. 207-217
Electronic Edition (ACM DL) BibTeX
Jens H. Jahnke:
Engineering component-based net-centric systems for embedded applications. 218-228
Electronic Edition (ACM DL) BibTeX
Robert Bruce Findler, Mario Latendresse, Matthias Felleisen:
Behavioral contracts and behavioral subtyping. 229-236
Electronic Edition (ACM DL) BibTeX

Testing

Jon Edvardsson, Mariam Kamkar:
Analysis of the constraint solver in UNA based test data generation. 237-245
Electronic Edition (ACM DL) BibTeX
William Dickinson, David Leon, Andy Podgurski:
Pursuing failure: the distribution of program failures in a profile space. 246-255
Electronic Edition (ACM DL) BibTeX
Atif M. Memon, Mary Lou Soffa, Martha E. Pollack:
Coverage criteria for GUI testing. 256-267
Electronic Edition (ACM DL) BibTeX

Experiences and case studies

Reidar Conradi, Tore Dybå:
An empirical study on the utility of formal routines to transfer knowledge and experience. 268-276
Electronic Edition (ACM DL) BibTeX
Bernd G. Freimut, Susanne Hartkopf, Peter Kaiser, Jyrki Kontio, Werner Kobitzsch:
An industrial case study of implementing software risk management. 277-287
Electronic Edition (ACM DL) BibTeX
Forrest Shull, Jeffrey Carver, Guilherme Travassos:
An empirical methodology for introducing software processes. 288-296
Electronic Edition (ACM DL) BibTeX

Poster Presentations

Premysl Brada:
Component revision identification based on IDL/ADL component specification. 297-298
Electronic Edition (ACM DL) BibTeX
Jacky Estublier, Hervé Verjus, Pierre-Yves Cunin:
Modelling and managing software federations. 299-300
Electronic Edition (ACM DL) BibTeX
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
STG: a tool for generating symbolic test programs and oracles from operational specifications. 301-302
Electronic Edition (ACM DL) BibTeX
David A. Basin, Frank Rittinger, Luca Viganò:
A formal data-model of the CORBA security service. 303-304
Electronic Edition (ACM DL) BibTeX
Vugranam C. Sreedhar:
York: programming software components. 305-306
Electronic Edition (ACM DL) BibTeX

EWSPT Report

Vincenzo Ambriola, R. Mark Greenwood:
8th European workshop on software process technology: report and future directions. 307-308
Electronic Edition (ACM DL) BibTeX

Full-day Tutorials

Robert L. Nord, Daniel J. Paulish, Robert W. Schwanke, Dilip Soni:
Software architecture in a changing world: developing design strategies that anticipate change. 309-310
Electronic Edition (ACM DL) BibTeX
Wolfgang Emmerich, Nima Kaveh:
Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model. 311-312
Electronic Edition (ACM DL) BibTeX
Gregor Kiczales, Erik Hilsdale:
Aspect-oriented programming. 313
Electronic Edition (ACM DL) BibTeX

Half-day Tutorials

Kurt C. Wallnau, Scott A. Hissam, Robert C. Seacord:
Half day tutorial in methods of component-based software engineering essential concepts and classroom experience. 314-315
Electronic Edition (ACM DL) BibTeX
Martin Lippert, Stefan Roock:
Adapting XP to complex application domains. 316-317
Electronic Edition (ACM DL) BibTeX
Engin Kirda:
Engineering of Web services with XML and XSL. 318-319
Electronic Edition (ACM DL) BibTeX
Paul Grünbacher, Barry W. Boehm:
EasyWinWin: a groupware-supported methodology for requirements negotiation. 320-321
Electronic Edition (ACM DL) BibTeX
Mike Mannion, Hermann Kaindl:
Requirements-based product line engineering. 322-323
Electronic Edition (ACM DL) BibTeX
Albert Zündorf:
From use cases to code---rigorous software development with UML. 324-325
Electronic Edition (ACM DL) BibTeX
Karl Aberer, Manfred Hauswirth:
Peer-to-peer information systems: concepts and models, state-of-the-art, and future systems. 326-327
Electronic Edition (ACM DL) BibTeX
Alexander Ran:
Fundamental concepts for practical software architecture. 328-329
Electronic Edition (ACM DL) BibTeX