8. SIGSOFT FSE 2000:
San Diego,
California,
USA
ACM SIGSOFT Symposium on Foundations of Software Engineering,
an Diego,
California,
USA,
November 6-10,
2000,
Proceedings. ACM,
2000
- Richard A. DeMillo:
Software development for next generation communication networks.
1
Electronic Edition (link) BibTeX
- Martin P. Robillard, Gail C. Murphy:
Designing robust Java programs with exceptions.
2-10
Electronic Edition (link) BibTeX
- Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide:
Experience report: using RESOLVE/C++ for commercial software.
11-19
Electronic Edition (link) BibTeX
- Reimer Behrends, Kurt Stirewalt:
The universe model: an approach for improving the modularity and reliability of concurrent programs.
20-29
Electronic Edition (link) BibTeX
- Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
Automated test oracles for GUIs.
30-39
Electronic Edition (link) BibTeX
- Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer:
Automated systematic testing for constraint-based interactive services.
40-49
Electronic Edition (link) BibTeX
- Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young:
Compiler and tool support for debugging object protocols.
50-59
Electronic Edition (link) BibTeX
- Yunwen Ye, Gerhard Fischer, Brent Reeves:
Integrating active information delivery and reuse repository systems.
60-68
Electronic Edition (link) BibTeX
- Robert J. Walker, Gail C. Murphy:
Implicit context: easing software evolution and reuse.
69-78
Electronic Edition (link) BibTeX
- Richard D. Pethia:
Bugs in the programs.
79
Electronic Edition (link) BibTeX
- Tetsuo Yamamoto, Makoto Matsushita, Katsuro Inoue:
Accumulative versioning file system Moraine and its application to metrics environment MAME.
80-87
Electronic Edition (link) BibTeX
- Mark Chu-Carroll, Sara Sprenkle:
Coven: brewing better collaboration through software configuration management.
88-97
Electronic Edition (link) BibTeX
- Peter F. Sweeney, Frank Tip:
Extracting library-based object-oriented applications.
98-107
Electronic Edition (link) BibTeX
- Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf:
The impact project: determining the impact of software engineering research upon practice (panel session).
108-109
Electronic Edition (link) BibTeX
- Jonathan D. Hay, Joanne M. Atlee:
Composing features and resolving interactions.
110-119
Electronic Edition (link) BibTeX
- Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland:
A compositional approach to statecharts semantics.
120-129
Electronic Edition (link) BibTeX
- Daniel Jackson:
Automating first-order relational logic.
130-139
Electronic Edition (link) BibTeX
- Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:
On the formalization of architectural types with process algebras.
140-148
Electronic Edition (link) BibTeX
- Daniel Jackson, Kevin J. Sullivan:
COM revisited: tool-assisted modelling of an architectural framework.
149-158
Electronic Edition (link) BibTeX
- Gleb Naumovich, Lori A. Clarke:
Classifying properties: an alternative to the safety-liveness classification.
159-168
Electronic Edition (link) BibTeX
- Richard F. Rashid:
The shape of things to come?
169
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:41:18 2009
by Michael Ley (ley@uni-trier.de)