Proceedings of the Eighth Symposium on Foundations of Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.