home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
Richard F. Rashid
:
The shape of things to come?
169