FSE 2000
21 papers
- A compositional approach to statecharts semantics
- Accumulative versioning file system Moraine and its application to metrics environment MAME
- Automated systematic testing for constraint-based interactive services
- Automated test oracles for GUIs
- Automating first-order relational logic
- Bugs in the programs
- COM revisited: tool-assisted modelling of an architectural framework
- Classifying properties: an alternative to the safety-liveness classification
- Compiler and tool support for debugging object protocols
- Composing features and resolving interactions
- Coven: brewing better collaboration through software configuration management
- Designing robust Java programs with exceptions
- Experience report: using RESOLVE/C++ for commercial software
- Extracting library-based object-oriented applications
- Implicit context: easing software evolution and reuse
- Integrating active information delivery and reuse repository systems
- On the formalization of architectural types with process algebras
- Software development for next generation communication networks
- The impact project: determining the impact of software engineering research upon practice (panel session)
- The shape of things to come?
- The universe model: an approach for improving the modularity and reliability of concurrent programs