Oscar Nierstrasz, Michel Lemoine
Proceedings of the Second Joint Meeting of the Seventh European Software Engineering Conference and the Seventh Symposium on the Foundations of Software Engineering
ESEC/FSE, 1999.

@proceedings{ESEC-FSE-1999,
	address       = "Toulouse, France",
	editor        = "Oscar Nierstrasz and Michel Lemoine",
	isbn          = "3-540-66538-2",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second Joint Meeting of the Seventh European Software Engineering Conference and the Seventh Symposium on the Foundations of Software Engineering}",
	volume        = 1687,
	year          = 1999,
}

Contents (31 items)

4 ×#architecture
4 ×#component
4 ×#named
3 ×#generative
3 ×#java
3 ×#performance
3 ×#process
2 ×#automation
2 ×#debugging
2 ×#design

ESEC-FSE-1999-Beck #development #programming

Extreme Programming: A Discipline of Software Development (KB), p. 1.

ESEC-FSE-1999-CzarneckiE #component #generative #programming

Components and Generative Programming (KC, UWE), pp. 2–19.

ESEC-FSE-1999-HauswirthJ #communication #component

A Component and Communication Model for Push Systems (MH, MJ), pp. 20–38.

ESEC-FSE-1999-MascoloPR #fine-grained

A Fine-Grained Model for Code Mobility (CM, GPP, GCR), pp. 39–56.

ESEC-FSE-1999-Gafni #architecture #named #realtime

Robots: A Real-Time Systems Architectural Style (VG), pp. 57–74.

ESEC-FSE-1999-WarboysBGKMMM #collaboration #composition #generative #process

Collaboration and Composition: Issues for a Second Generation Process Language (BW, DB, RMG, GNCK, KM, RM, DSM), pp. 75–90.

ESEC-FSE-1999-JagerSW #modelling #process #uml #using

Using UML for Software Process Modeling (DJ, AS, BW), pp. 91–108.

ESEC-FSE-1999-Padberg #probability

A Probabilistic Model for Software Projects (FP), pp. 109–126.

ESEC-FSE-1999-LevesonHR #design #lessons learnt #process #specification

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future (NGL, MPEH, JDR), pp. 127–145.

ESEC-FSE-1999-GargantiniH #model checking #requirements #specification #testing #using

Using Model Checking to Generate Tests from Requirements Specifications (AG, CLH), pp. 146–162.

ESEC-FSE-1999-ThompsonHM #embedded #prototype

Specification-Based Prototyping for Embedded Systems (JMT, MPEH, SPM), pp. 163–179.

ESEC-FSE-1999-SiffCBKR #c

Coping with Type Casts in C (MS, SC, TB, KK, TWR), pp. 180–198.

ESEC-FSE-1999-LiangH #performance #points-to #program analysis

Efficient Points-to Analysis for Whole-Program Analysis (DL, MJH), pp. 199–215.

ESEC-FSE-1999-Ball #concept #dynamic analysis

The Concept of Dynamic Analysis (TB), pp. 216–234.

ESEC-FSE-1999-RountevRL #analysis #data flow

Data-Flow Analysis of Program Fragments (AR, BGR, WL), pp. 235–252.

ESEC-FSE-1999-Zeller #question #why

Yesterday, My Program Worked. Today, It Does Not. Why? (AZ), pp. 253–267.

ESEC-FSE-1999-JaramilloGS #approach #comparison #debugging

Comparison Checking: An Approach to Avoid Debugging of Optimized Code (CJ, RG, MLS), pp. 268–284.

ESEC-FSE-1999-ChangR #automation #evaluation #testing

Structural Specification-Based Testing: Automated Support and Experimental Evaluation (JC, DJR), pp. 285–302.

ESEC-FSE-1999-GyimothyBF #debugging #performance #slicing

An Efficient Relevant Slicing Method for Debugging (TG, ÁB, IF), pp. 303–321.

ESEC-FSE-1999-RobillardM #exception #java #source code

Analyzing Exception Flow in Java Programs (MPR, GCM), pp. 322–327.

ESEC-FSE-1999-NaumovichAC #algorithm #concurrent #java #performance #source code

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs (GN, GSA, LAC), pp. 338–354.

ESEC-FSE-1999-Bokowski #constraints #java #named #using

CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java (BB), pp. 355–374.

ESEC-FSE-1999-Fierz #component #embedded #modelling

The CIP Method: Component- and Model-Based Construction of Embedded Systems (HF), pp. 375–392.

ESEC-FSE-1999-WermelingerF #algebra #architecture #configuration management

Algebraic Software Architecture Reconfiguration (MW, JLF), pp. 393–409.

ESEC-FSE-1999-FradetMP #architecture #consistency #multi

Consistency Checking for Multiple View Software Architectures (PF, DLM, MP), pp. 410–428.

ESEC-FSE-1999-JarzabekK #component #generative

Synergy between Component-Based and Generative Approaches (SJ, PK), pp. 429–445.

ESEC-FSE-1999-BayerGWDA #architecture #legacy #product line

Transitioning Legacy Assets to a Product Line Architecture (JB, JFG, MW, JMD, MA), pp. 446–463.

ESEC-FSE-1999-DossickK #development #distributed #named

CHIME: A Metadata-Based Distributed Software Development Environment (SED, GEK), pp. 464–475.

ESEC-FSE-1999-GrimaudLV #named #smarttech

FACADE: A Typed Intermediate Language Dedicated to Smart Cards (GG, JLL, JJV), pp. 476–493.

ESEC-FSE-1999-BrabermanF #automation #design #realtime #scheduling #verification

Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification (VAB, MF), pp. 494–510.

ESEC-FSE-1999-GiannakopoulouMK #question

Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.