default search action
8th SIGSOFT FSE 2000: San Diego, California, USA
- John C. Knight, David S. Rosenblum:
ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings. ACM 2000, ISBN 978-1-58113-205-2 - Richard A. DeMillo:
Software development for next generation communication networks. 1 - Martin P. Robillard, Gail C. Murphy:
Designing robust Java programs with exceptions. 2-10 - Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide:
Experience report: using RESOLVE/C++ for commercial software. 11-19 - Reimer Behrends, Kurt Stirewalt:
The universe model: an approach for improving the modularity and reliability of concurrent programs. 20-29 - Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
Automated test oracles for GUIs. 30-39 - Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
:
Automated systematic testing for constraint-based interactive services. 40-49 - Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young:
Compiler and tool support for debugging object protocols. 50-59 - Yunwen Ye, Gerhard Fischer, Brent Reeves:
Integrating active information delivery and reuse repository systems. 60-68 - Robert J. Walker, Gail C. Murphy:
Implicit context: easing software evolution and reuse. 69-78 - Richard D. Pethia:
Bugs in the programs. 79 - Tetsuo Yamamoto, Makoto Matsushita, Katsuro Inoue:
Accumulative versioning file system Moraine and its application to metrics environment MAME. 80-87 - Mark Chu-Carroll, Sara Sprenkle:
Coven: brewing better collaboration through software configuration management. 88-97 - Peter F. Sweeney, Frank Tip:
Extracting library-based object-oriented applications. 98-107 - 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 - Jonathan D. Hay, Joanne M. Atlee:
Composing features and resolving interactions. 110-119 - Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland:
A compositional approach to statecharts semantics. 120-129 - Daniel Jackson:
Automating first-order relational logic. 130-139 - Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:
On the formalization of architectural types with process algebras. 140-148 - Daniel Jackson, Kevin J. Sullivan:
COM revisited: tool-assisted modelling of an architectural framework. 149-158 - Gleb Naumovich, Lori A. Clarke:
Classifying properties: an alternative to the safety-liveness classification. 159-168 - Richard F. Rashid:
The shape of things to come? 169
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: