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

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/DeMillo00
- ask others
Richard A. DeMillo: Software development for next generation communication networks. 1
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/RobillardM00
- ask others
Martin P. Robillard, Gail C. Murphy: Designing robust Java programs with exceptions. 2-10
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/HollingsworthBW00
- ask others
Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide: Experience report: using RESOLVE/C++ for commercial software. 11-19
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/BehrendsS00
- ask others
Reimer Behrends, Kurt Stirewalt: The universe model: an approach for improving the modularity and reliability of concurrent programs. 20-29
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/MemonPS00
- ask others
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa: Automated test oracles for GUIs. 30-39
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/GodefroidJJL00
- ask others
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer: Automated systematic testing for constraint-based interactive services. 40-49
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/ButkevichRBY00
- ask others
Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young: Compiler and tool support for debugging object protocols. 50-59
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/YeFR00
- ask others
Yunwen Ye, Gerhard Fischer, Brent Reeves: Integrating active information delivery and reuse repository systems. 60-68
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/WalkerM00
- ask others
Robert J. Walker, Gail C. Murphy: Implicit context: easing software evolution and reuse. 69-78
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/Pethia00
- ask others
Richard D. Pethia: Bugs in the programs. 79
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/YamamotoMI00
- ask others
Tetsuo Yamamoto, Makoto Matsushita, Katsuro Inoue: Accumulative versioning file system Moraine and its application to metrics environment MAME. 80-87
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/Chu-CarrollS00
- ask others
Mark Chu-Carroll, Sara Sprenkle: Coven: brewing better collaboration through software configuration management. 88-97
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/SweeneyT00
- ask others
Peter F. Sweeney, Frank Tip: Extracting library-based object-oriented applications. 98-107
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/OsterweilCEKRW00
- ask others
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
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/HayA00
- ask others
Jonathan D. Hay, Joanne M. Atlee: Composing features and resolving interactions. 110-119
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/LuttgenBC00
- ask others
Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland: A compositional approach to statecharts semantics. 120-129
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/Jackson00
- ask others
Daniel Jackson: Automating first-order relational logic. 130-139
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/BernardoCD00
- ask others
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: On the formalization of architectural types with process algebras. 140-148
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/JacksonS00
- ask others
Daniel Jackson, Kevin J. Sullivan: COM revisited: tool-assisted modelling of an architectural framework. 149-158
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/NaumovichC00
- ask others
Gleb Naumovich, Lori A. Clarke: Classifying properties: an alternative to the safety-liveness classification. 159-168
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/Rashid00
- ask others
Richard F. Rashid: The shape of things to come? 169