Proceedings of the Eighth Symposium on Foundations of Software Engineering
FSE, 2000.

@proceedings{FSE-2000,
	address       = "an Diego, California, USA",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth Symposium on Foundations of Software Engineering}",
	year          = 2000,
}

Contents (20 items)

3 ×#automation
3 ×#source code
2 ×#approach
2 ×#architecture
2 ×#composition
2 ×#debugging
2 ×#interactive
2 ×#reuse
2 ×#testing

FSE-2000-DeMillo #communication #development #generative #network

Software development for next generation communication networks (RAD), p. 1.

FSE-2000-RobillardM #design #exception #java #robust #source code

Designing robust Java programs with exceptions (MPR, GCM), pp. 2–10.

FSE-2000-HollingsworthBW #case study #experience #using

Experience report: using RESOLVE/C++ for commercial software (JEH, LB, BWW), pp. 11–19.

FSE-2000-BehrendsS #approach #composition #concurrent #reliability #source code

The universe model: an approach for improving the modularity and reliability of concurrent programs (RB, KS), pp. 20–29.

FSE-2000-MemonPS #automation #testing #user interface

Automated test oracles for GUIs (AMM, MEP, MLS), pp. 30–39.

FSE-2000-GodefroidJJL #automation #constraints #interactive #testing

Automated systematic testing for constraint-based interactive services (PG, LJJ, RJ, KL), pp. 40–49.

FSE-2000-ButkevichRBY #compilation #debugging #protocol #tool support

Compiler and tool support for debugging object protocols (SB, MR, GB, MY), pp. 50–59.

FSE-2000-YeFR #repository #reuse

Integrating active information delivery and reuse repository systems (YY, GF, BR), pp. 60–68.

FSE-2000-WalkerM #evolution #reuse

Implicit context: easing software evolution and reuse (RJW, GCM), pp. 69–78.

FSE-2000-Pethia #debugging #source code

Bugs in the programs (RDP), p. 79.

FSE-2000-YamamotoMI #cumulative #file system #metric #version control

Accumulative versioning file system Moraine and its application to metrics environment MAME (TY, MM, KI), pp. 80–87.

FSE-2000-Chu-CarrollS #collaboration #configuration management #named

Coven: brewing better collaboration through software configuration management (MCC, SS), pp. 88–97.

FSE-2000-SweeneyT #object-oriented

Extracting library-based object-oriented applications (PFS, FT), pp. 98–107.

FSE-2000-HayA #interactive

Composing features and resolving interactions (JDH, JMA), pp. 110–119.

FSE-2000-LuttgenBC #approach #composition #semantics

A compositional approach to statecharts semantics (GL, MvdB, RC), pp. 120–129.

FSE-2000-Jackson #automation #first-order #logic #relational

Automating first-order relational logic (DJ), pp. 130–139.

FSE-2000-BernardoCD #algebra #architecture #formal method #on the #process

On the formalization of architectural types with process algebras (MB, PC, LD), pp. 140–148.

FSE-2000-JacksonS #architecture #framework #modelling

COM revisited: tool-assisted modelling of an architectural framework (DJ, KJS), pp. 149–158.

FSE-2000-NaumovichC #classification

Classifying properties: an alternative to the safety-liveness classification (GN, LAC), pp. 159–168.

FSE-2000-Rashid #question

The shape of things to come? (RFR), p. 169.