Proceedings of the Eighth European Software Engineering Conference held jointly with Ninth International Symposium on Foundations of Software Engineering
ESEC/FSE, 2001.

@proceedings{ESEC-FSE-2001,
	address       = "Vienna, Austria",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth European Software Engineering Conference held jointly with Ninth International Symposium on Foundations of Software Engineering}",
	year          = 2001,
}

Contents (45 items)

7 ×#architecture
7 ×#component
5 ×#modelling
4 ×#named
4 ×#specification
3 ×#composition
3 ×#concept
3 ×#design
2 ×#approach
2 ×#automation

ESEC-FSE-2001-HoekMRM #architecture #evolution

Taming architectural evolution (AvdH, MMR, RR, NM), pp. 1–10.

ESEC-FSE-2001-MorisawaT #architecture #distributed #product line

An architectural style of product lines for distributed processing systems, and practical selection method (YM, KT), pp. 11–20.

ESEC-FSE-2001-WermelingerLF #architecture #graph

A graph based architectural (Re)configuration language (MW, AL, JLF), pp. 21–32.

ESEC-FSE-2001-SliskiBCO #architecture #evolution #flexibility

An architecture for flexible, evolvable process-driven user-guidance environments (TJS, MPB, LAC, LJO), pp. 33–43.

ESEC-FSE-2001-KavehE #concurrent #detection #object-oriented

Deadlock detection in distribution object systems (NK, WE), pp. 44–51.

ESEC-FSE-2001-JagannathanS #component #implementation

Increasing client-side confidence in remote component implementations (RJ, PAGS), pp. 52–61.

ESEC-FSE-2001-JacksonSS

A micromodularity mechanism (DJ, IS, MS), pp. 62–73.

ESEC-FSE-2001-UchitelKM #detection #sequence chart #specification

Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.

ESEC-FSE-2001-Wendorff #approach #assessment #formal method #information management #modelling

A formal approach to the assessment and improvement of terminological models used in information systems engineering (PW), pp. 83–87.

ESEC-FSE-2001-CoadyKFS #composition #operating system #using

Using aspectC to improve the modularity of path-specific customization in operating system code (YC, GK, MJF, GS), pp. 88–98.

ESEC-FSE-2001-SullivanGCH #composition #design

The structure and value of modularity in software design (KJS, WGG, YC, BH), pp. 99–108.

ESEC-FSE-2001-AlfaroH #automaton #interface

Interface automata (LdA, TAH), pp. 109–120.

ESEC-FSE-2001-InverardiT #automation #concurrent #synthesis

Automatic synthesis of deadlock free connectors for COM/DCOM applications (PI, MT), pp. 121–131.

ESEC-FSE-2001-DavisGPJU #architecture #interactive #problem

A notation for problematic architecture interactions (LAD, RFG, JP, GJ, DJU), pp. 132–141.

ESEC-FSE-2001-Coen-PorisiniDGP #execution #safety #symbolic computation #using #verification

Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.

ESEC-FSE-2001-FislerK #composition #design #verification

Modular verification of collaboration-based software designs (KF, SK), pp. 152–163.

ESEC-FSE-2001-ChoiRH #abstraction #automation #constraints #model checking

Automatic abstraction for model checking software systems with interrelated numeric constraints (YC, SR, MPEH), pp. 164–174.

ESEC-FSE-2001-RamseyC #algebra #approach

An algebraic approach to file synchronization (NR, EC), pp. 175–185.

ESEC-FSE-2001-EngelsKHG #behaviour #consistency #modelling #object-oriented #specification

A methodology for specifying and analyzing consistency of object-oriented behavioral models (GE, JMK, RH, LG), pp. 186–195.

ESEC-FSE-2001-LavazzaQV #modelling #realtime #uml

Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.

ESEC-FSE-2001-LuerR #component #development #named

WREN — an environment for component-based development (CL, DSR), pp. 207–217.

ESEC-FSE-2001-Jahnke #component #embedded

Engineering component-based net-centric systems for embedded applications (JHJ), pp. 218–228.

ESEC-FSE-2001-FindlerLF #behaviour #contract #type system

Behavioral contracts and behavioral subtyping (RBF, ML, MF), pp. 229–236.

ESEC-FSE-2001-EdvardssonK #analysis #constraints #generative #testing #theorem proving

Analysis of the constraint solver in UNA based test data generation (JE, MK), pp. 237–245.

ESEC-FSE-2001-DickinsonLP

Pursuing failure: the distribution of program failures in a profile space (WD, DL, AP), pp. 246–255.

ESEC-FSE-2001-MemonSP #test coverage #testing #user interface

Coverage criteria for GUI testing (AMM, MLS, MEP), pp. 256–267.

ESEC-FSE-2001-ConradiD #empirical #experience

An empirical study on the utility of formal routines to transfer knowledge and experience (RC, TD), pp. 268–276.

ESEC-FSE-2001-FreimutHKKK #case study #implementation #industrial #risk management

An industrial case study of implementing software risk management (BGF, SH, PK, JK, WK), pp. 277–287.

ESEC-FSE-2001-ShullCT #empirical #process

An empirical methodology for introducing software processes (FS, JC, GT), pp. 288–296.

ESEC-FSE-2001-Brada #component #identification #specification

Component revision identification based on IDL/ADL component specification (PB), pp. 297–298.

ESEC-FSE-2001-EstublierVC #modelling

Modelling and managing software federations (JE, HV, PYC), pp. 299–300.

ESEC-FSE-2001-ClarkeJRZ #generative #named #source code #specification

STG: a tool for generating symbolic test programs and oracles from operational specifications (DC, TJ, VR, EZ), pp. 301–302.

ESEC-FSE-2001-BasinRV #corba #security

A formal data-model of the CORBA security service (DAB, FR, LV), pp. 303–304.

ESEC-FSE-2001-Sreedhar #component #named #programming

York: programming software components (VCS), pp. 305–306.

ESEC-FSE-2001-NordPSS #architecture #design

Software architecture in a changing world: developing design strategies that anticipate change (RLN, DJP, RWS, DS), pp. 309–310.

ESEC-FSE-2001-EmmerichK #component #corba #java

Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model (WE, NK), pp. 311–312.

ESEC-FSE-2001-KiczalesH #aspect-oriented #programming

Aspect-oriented programming (GK, EH), p. 313.

ESEC-FSE-2001-WallnauHS #component #concept #experience #re-engineering #tutorial

Half day tutorial in methods of component-based software engineering essential concepts and classroom experience (KCW, SAH, RCS), pp. 314–315.

ESEC-FSE-2001-LippertR #adaptation #agile

Adapting XP to complex application domains (ML, SR), pp. 316–317.

ESEC-FSE-2001-Kirda #web #web service #xml

Engineering of Web services with XML and XSL (EK), pp. 318–319.

ESEC-FSE-2001-GrunbacherB #named #requirements

EasyWinWin: a groupware-supported methodology for requirements negotiation (PG, BWB), pp. 320–321.

ESEC-FSE-2001-MannionK #product line

Requirements-based product line engineering (MM, HK), pp. 322–323.

ESEC-FSE-2001-Zundorf #case study #development #uml

From use cases to code---rigorous software development with UML (AZ), pp. 324–325.

ESEC-FSE-2001-AbererH #concept #information management #modelling #peer-to-peer #state of the art

Peer-to-peer information systems: concepts and models, state-of-the-art, and future systems (KA, MH), pp. 326–327.

ESEC-FSE-2001-Ran #architecture #concept

Fundamental concepts for practical software architecture (AR), pp. 328–329.