![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.