Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/sigsoft/sigsoft25.bht:"
@article{DBLP:journals/sigsoft/Adams00, author = {Tom Adams}, title = {The God of inspection}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {30}, year = {2000}, url = {https://doi.org/10.1145/346057.346067}, doi = {10.1145/346057.346067}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Adams00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/AgarwalRG00, author = {Rakesh Agarwal and Arup Ratan Raha and Bhaskar Ghosh}, title = {Our experience and learning in {ERP} implementation}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {31--34}, year = {2000}, url = {https://doi.org/10.1145/346057.346068}, doi = {10.1145/346057.346068}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/AgarwalRG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Albizuri-Romero00, author = {Miren Bego{\~{n}}a Albizuri{-}Romero}, title = {A retrospective view of {CASE} tools adoption}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {46--50}, year = {2000}, url = {https://doi.org/10.1145/346057.346071}, doi = {10.1145/346057.346071}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Albizuri-Romero00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Alur00, author = {Rajeev Alur}, title = {Computer-aided verification of reactive systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {32--33}, year = {2000}, url = {https://doi.org/10.1145/340855.340861}, doi = {10.1145/340855.340861}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Alur00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Ammann00, author = {Paul Ammann}, title = {System testing via mutation analysis of model checking specifications}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {33}, year = {2000}, url = {https://doi.org/10.1145/340855.340862}, doi = {10.1145/340855.340862}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Ammann00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Anantharam00, author = {Parasuram Anantharam}, title = {Modelling systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {58}, year = {2000}, url = {https://doi.org/10.1145/505863.505880}, doi = {10.1145/505863.505880}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Anantharam00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Anderson00, author = {Tom Anderson}, title = {The distributed Smalltalk survival guide}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {58}, year = {2000}, url = {https://doi.org/10.1145/505863.505881}, doi = {10.1145/505863.505881}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Anderson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Attie00, author = {Paul C. Attie}, title = {Efficient formal methods for the synthesis of concurrent programs}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {34}, year = {2000}, url = {https://doi.org/10.1145/340855.340864}, doi = {10.1145/340855.340864}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Attie00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/BailinA00, author = {Sidney C. Bailin and Dean Allemang}, title = {Formal alternative management integrating logical inference and rationals {(FAMILIAR)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {102}, year = {2000}, url = {https://doi.org/10.1145/340855.341100}, doi = {10.1145/340855.341100}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/BailinA00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Balzer00, author = {Bob Balzer}, title = {Securely wrapping {COTS} products}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {106--107}, year = {2000}, url = {https://doi.org/10.1145/340855.341134}, doi = {10.1145/340855.341134}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Balzer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Bastani00, author = {Farokh B. Bastani}, title = {Relational programs}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {34--35}, year = {2000}, url = {https://doi.org/10.1145/340855.340865}, doi = {10.1145/340855.340865}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Bastani00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Batory00, author = {Don S. Batory}, title = {Jakarta Tool Suite {(JTS)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {103--104}, year = {2000}, url = {https://doi.org/10.1145/340855.341108}, doi = {10.1145/340855.341108}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Batory00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Benedicenti00, author = {Luigi Benedicenti}, title = {Rethinking smart objects: building artificial intelligence with objects}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {59}, year = {2000}, url = {https://doi.org/10.1145/505863.505882}, doi = {10.1145/505863.505882}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Benedicenti00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Binkley00, author = {David W. Binkley}, title = {Reducing the cost of regression testing}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {35--36}, year = {2000}, url = {https://doi.org/10.1145/340855.340866}, doi = {10.1145/340855.340866}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Binkley00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Blazer00, author = {Bob Blazer}, title = {A COTS-based design editor for user specified domains}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {100}, year = {2000}, url = {https://doi.org/10.1145/340855.341084}, doi = {10.1145/340855.341084}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Blazer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/BoehmM00, author = {Barry W. Boehm and Nenad Medvidovic}, title = {Model-based (systems) architecting and software engineering {(MBASE)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {104--105}, year = {2000}, url = {https://doi.org/10.1145/340855.341117}, doi = {10.1145/340855.341117}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/BoehmM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/BoehmM00a, author = {Barry W. Boehm and Nenad Medvidovic}, title = {Software architecture, analysis, generation, and evolution {(SAAGE)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {106}, year = {2000}, url = {https://doi.org/10.1145/340855.341131}, doi = {10.1145/340855.341131}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/BoehmM00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Boothe00, author = {Bob Boothe}, title = {A fully capable bidirectional debugger}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {36--37}, year = {2000}, url = {https://doi.org/10.1145/340855.340867}, doi = {10.1145/340855.340867}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Boothe00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Boyer00, author = {Kenneth W. Boyer Jr.}, title = {Test process improvement: a practical step-by-step guide to structured testing}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {59--60}, year = {2000}, url = {https://doi.org/10.1145/505863.505883}, doi = {10.1145/505863.505883}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Boyer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Brannum00, author = {Garry Brannum}, title = {Capability packages for avionics software {(CPAS)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {98}, year = {2000}, url = {https://doi.org/10.1145/340855.341070}, doi = {10.1145/340855.341070}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Brannum00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Bultan00, author = {Tevfik Bultan}, title = {A composite model checking toolset for analyzing software systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {37--38}, year = {2000}, url = {https://doi.org/10.1145/340855.340868}, doi = {10.1145/340855.340868}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Bultan00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Burnett00, author = {Margaret M. Burnett}, title = {{NYI} award: visual programming languages}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {38}, year = {2000}, url = {https://doi.org/10.1145/340855.340870}, doi = {10.1145/340855.340870}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Burnett00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Caci00, author = {Claude Caci}, title = {Testing object-oriented systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {60--61}, year = {2000}, url = {https://doi.org/10.1145/505863.505884}, doi = {10.1145/505863.505884}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Caci00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/CarlsonG00, author = {Bill Carlson and Chris Garrity}, title = {Ewatch}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {98}, year = {2000}, url = {https://doi.org/10.1145/340855.341069}, doi = {10.1145/340855.341069}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/CarlsonG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/CarterF00, author = {Larry Carter and Jeanne Ferrante}, title = {{CROPS:} coordinated restructuring of programs and storage}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {38--39}, year = {2000}, url = {https://doi.org/10.1145/340855.340871}, doi = {10.1145/340855.340871}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/CarterF00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Carver00, author = {Richard H. Carver}, title = {Specification-based testing of concurrent programs}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {39--40}, year = {2000}, url = {https://doi.org/10.1145/340855.340872}, doi = {10.1145/340855.340872}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Carver00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Cheng00, author = {Betty H. C. Cheng}, title = {Integrating object-oriented analysis and formal specifications}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {40--41}, year = {2000}, url = {https://doi.org/10.1145/340855.340873}, doi = {10.1145/340855.340873}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Cheng00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/CimpanO00, author = {Sorana C{\^{\i}}mpan and Fl{\'{a}}vio Oquendo}, title = {{OMEGA:} a language and system for on-line monitoring of software-intensive processes}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {4}, pages = {62--68}, year = {2000}, url = {https://doi.org/10.1145/352342.352350}, doi = {10.1145/352342.352350}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/CimpanO00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Clarke00, author = {Edmund M. Clarke}, title = {Automatic verification of hardware and software systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {41--42}, year = {2000}, url = {https://doi.org/10.1145/340855.340875}, doi = {10.1145/340855.340875}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Clarke00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Claussen00, author = {Peter Claussen}, title = {Theories of programming languages}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {61--62}, year = {2000}, url = {https://doi.org/10.1145/505863.505885}, doi = {10.1145/505863.505885}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Claussen00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Claussen00a, author = {Peter Claussen}, title = {Concurrent programming in {ML}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {62--63}, year = {2000}, url = {https://doi.org/10.1145/505863.505886}, doi = {10.1145/505863.505886}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Claussen00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Cleaveland00, author = {Rance Cleaveland}, title = {Specification formalisms for component-based concurrent systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {42--43}, year = {2000}, url = {https://doi.org/10.1145/340855.340876}, doi = {10.1145/340855.340876}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Cleaveland00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/CleavelandLS00, author = {Rance Cleaveland and Philip M. Lewis and Scott A. Smolka}, title = {Practical techniques for the design, specification, verification, and implementation of concurrent systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {43--44}, year = {2000}, url = {https://doi.org/10.1145/340855.340878}, doi = {10.1145/340855.340878}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/CleavelandLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Conradi00, author = {Reidar Conradi}, title = {Summary from 7th European software process workshop (EWSPT'7), Kaprun near Salzburg, 21-25 Feb. 2000}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {23}, year = {2000}, url = {https://doi.org/10.1145/505863.505868}, doi = {10.1145/505863.505868}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Conradi00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Cook00, author = {Jonathan E. Cook}, title = {Software process analysis: integrating models and data}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {44}, year = {2000}, url = {https://doi.org/10.1145/340855.340881}, doi = {10.1145/340855.340881}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Cook00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/DemeyerG00, author = {Serge Demeyer and Harald C. Gall}, title = {Workshop on object-oriented reengineering (WOOR'99)}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {27}, year = {2000}, url = {https://doi.org/10.1145/340855.340857}, doi = {10.1145/340855.340857}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigsoft/DemeyerG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Devanbu00, author = {Premkumar T. Devanbu}, title = {Framework for debugging domain-specific languages}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {45}, year = {2000}, url = {https://doi.org/10.1145/340855.340882}, doi = {10.1145/340855.340882}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Devanbu00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Dillon00, author = {Laura K. Dillon}, title = {Automated support for testing and debugging of real-time programs using oracles}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {45--46}, year = {2000}, url = {https://doi.org/10.1145/340855.340884}, doi = {10.1145/340855.340884}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Dillon00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Dinishak00, author = {Ron Dinishak}, title = {The optimal implementation of functional programming languages}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {63}, year = {2000}, url = {https://doi.org/10.1145/505863.505887}, doi = {10.1145/505863.505887}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Dinishak00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Doernhoefer00, author = {Mark Doernhoefer}, title = {Surfing the Net for software engineering notes}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {8--16}, year = {2000}, url = {https://doi.org/10.1145/346057.346062}, doi = {10.1145/346057.346062}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Doernhoefer00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Doernhoefer00a, author = {Mark Doernhoefer}, title = {Surfing the net for software engineering notes}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {5--10}, year = {2000}, url = {https://doi.org/10.1145/505863.505865}, doi = {10.1145/505863.505865}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Doernhoefer00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Doernhoefer00b, author = {Mark Doernhoefer}, title = {Surfing the Net for software engineering notes}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {4}, pages = {12--20}, year = {2000}, url = {https://doi.org/10.1145/352342.352345}, doi = {10.1145/352342.352345}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Doernhoefer00b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/DwyerH00, author = {Matthew B. Dwyer and John Hatcliff}, title = {Adapting programming languages technologies for finite-state verification}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {46--49}, year = {2000}, url = {https://doi.org/10.1145/340855.340885}, doi = {10.1145/340855.340885}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/DwyerH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Egyed00, author = {Alexander Egyed}, title = {UML/Analyzer - a system for defining and analyzing the conceptual integrity of {UML} models}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {108}, year = {2000}, url = {https://doi.org/10.1145/340855.341142}, doi = {10.1145/340855.341142}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Egyed00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Emerson00, author = {E. Allen Emerson}, title = {Automated formal methods: model checking and beyond}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {49}, year = {2000}, url = {https://doi.org/10.1145/340855.340886}, doi = {10.1145/340855.340886}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Emerson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Evangelist00, author = {Michael Evangelist}, title = {The {NSF} information technology research program}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {30}, year = {2000}, url = {https://doi.org/10.1145/340855.340859}, doi = {10.1145/340855.340859}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Evangelist00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Felleisen00, author = {Matthias Felleisen}, title = {Components and program analyses}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {49--50}, year = {2000}, url = {https://doi.org/10.1145/340855.340887}, doi = {10.1145/340855.340887}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Felleisen00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Frankl00, author = {Phyllis G. Frankl}, title = {Assessing and enhancing software testing effectiveness}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {50--51}, year = {2000}, url = {https://doi.org/10.1145/340855.340888}, doi = {10.1145/340855.340888}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Frankl00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Goguen00, author = {Joseph A. Goguen}, title = {Hidden algebra and concurrent distributed software}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {51--52}, year = {2000}, url = {https://doi.org/10.1145/340855.340889}, doi = {10.1145/340855.340889}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Goguen00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/GoyalL00, author = {Deepak Goyal and Y. Annie Liu}, title = {Automated development of software for program analysis and transformation}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {52--53}, year = {2000}, url = {https://doi.org/10.1145/340855.340890}, doi = {10.1145/340855.340890}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/GoyalL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Green00, author = {Bradley S. Green}, title = {Software test automation}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {66}, year = {2000}, url = {https://doi.org/10.1145/505863.505892}, doi = {10.1145/505863.505892}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Green00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Griswold00, author = {William G. Griswold}, title = {Guilds or virtual countries? the future of software professionals}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {2}, year = {2000}, url = {https://doi.org/10.1145/346057.346061}, doi = {10.1145/346057.346061}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Griswold00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Gunter00, author = {Carl A. Gunter}, title = {Automated analysis of standard {ML}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {53}, year = {2000}, url = {https://doi.org/10.1145/340855.340950}, doi = {10.1145/340855.340950}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Gunter00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/GunterGZ00, author = {Carl A. Gunter and Elsa L. Gunter and Pamela Zave}, title = {Formal software engineering}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {54}, year = {2000}, url = {https://doi.org/10.1145/340855.340951}, doi = {10.1145/340855.340951}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/GunterGZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Gupta00, author = {Gopal Gupta}, title = {Parallel implementation of Prolog: the {ACE} project}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {54--55}, year = {2000}, url = {https://doi.org/10.1145/340855.340954}, doi = {10.1145/340855.340954}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Gupta00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/HeimbignerW00, author = {Dennis Heimbigner and Alexander L. Wolf}, title = {Distributed software engineering}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {99}, year = {2000}, url = {https://doi.org/10.1145/340855.341078}, doi = {10.1145/340855.341078}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/HeimbignerW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Heineman00, author = {George T. Heineman}, title = {A model for designing adaptable software components}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {55--56}, year = {2000}, url = {https://doi.org/10.1145/340855.340956}, doi = {10.1145/340855.340956}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Heineman00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Hentenryck00, author = {Pascal Van Hentenryck}, title = {Constraint programming}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {89--90}, year = {2000}, url = {https://doi.org/10.1145/340855.341036}, doi = {10.1145/340855.341036}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Hentenryck00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Henzinger00, author = {Thomas A. Henzinger}, title = {New directions in computer-aided verification}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {56--57}, year = {2000}, url = {https://doi.org/10.1145/340855.340957}, doi = {10.1145/340855.340957}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Henzinger00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Hind00, author = {Michael Hind}, title = {{NPIC} - New Paltz interprocedural compiler}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {57--58}, year = {2000}, url = {https://doi.org/10.1145/340855.340958}, doi = {10.1145/340855.340958}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Hind00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Horwitz00, author = {Susan Horwitz}, title = {Debugging via run-time type checking}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {58}, year = {2000}, url = {https://doi.org/10.1145/340855.340960}, doi = {10.1145/340855.340960}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Horwitz00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Hudak00, author = {Paul Hudak}, title = {Principles of functional reactive programming}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {59}, year = {2000}, url = {https://doi.org/10.1145/340855.340961}, doi = {10.1145/340855.340961}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Hudak00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/JagadeesanLG00, author = {Radha Jagadeesan and Konstantin L{\"{a}}ufer and Vineet Gupta}, title = {The Triveni project}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {59}, year = {2000}, url = {https://doi.org/10.1145/340855.340962}, doi = {10.1145/340855.340962}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/JagadeesanLG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Jayaraman00, author = {Bharat Jayaraman}, title = {Research on sets, constraints, and preferences}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {60}, year = {2000}, url = {https://doi.org/10.1145/340855.340963}, doi = {10.1145/340855.340963}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Jayaraman00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Johann00, author = {Patricia Johann}, title = {Testing and enhancing a prototype program fusion engine}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {60--61}, year = {2000}, url = {https://doi.org/10.1145/340855.340964}, doi = {10.1145/340855.340964}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Johann00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Johnson00, author = {Philip M. Johnson}, title = {Project {LEAP:} lightweight, empirical, anti-measurement dysfunction, and portable software developer improvement}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {61}, year = {2000}, url = {https://doi.org/10.1145/340855.340966}, doi = {10.1145/340855.340966}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Johnson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/JohnsonM00, author = {W. Lewis Johnson and Stacy C. Marsella}, title = {MediaDoc: automated generation of multimedia explanatory presentations}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {105}, year = {2000}, url = {https://doi.org/10.1145/340855.341121}, doi = {10.1145/340855.341121}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/JohnsonM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/JuricRHD00, author = {Matjaz B. Juric and Ivan Rozman and Marjan Hericko and Tomaz Domajnko}, title = {Integrating legacy systems in distributed object architecture}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {35--39}, year = {2000}, url = {https://doi.org/10.1145/346057.346069}, doi = {10.1145/346057.346069}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/JuricRHD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Kaiser00, author = {Gail E. Kaiser}, title = {Internet-based information management technology}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {98}, year = {2000}, url = {https://doi.org/10.1145/340855.341073}, doi = {10.1145/340855.341073}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Kaiser00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Kaiser00a, author = {Gail E. Kaiser}, title = {Internet-based information management technology}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {103}, year = {2000}, url = {https://doi.org/10.1145/340855.341107}, doi = {10.1145/340855.341107}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Kaiser00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Karsai00, author = {Gabor Karsai}, title = {Model integrated computing {(MIC)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {105}, year = {2000}, url = {https://doi.org/10.1145/340855.341125}, doi = {10.1145/340855.341125}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Karsai00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Kfoury00, author = {A. J. Kfoury}, title = {Type theory and rewriting theory for expressive, efficient and reliable programming languages}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {61--62}, year = {2000}, url = {https://doi.org/10.1145/340855.340968}, doi = {10.1145/340855.340968}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Kfoury00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/KokolPCD00, author = {Peter Kokol and Vili Podgorelec and Ana Isabel Cardoso and Francis Dion}, title = {Assessing the state of the software process development using the chaos theory}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {41--43}, year = {2000}, url = {https://doi.org/10.1145/505863.505874}, doi = {10.1145/505863.505874}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/KokolPCD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/KokolPDL00, author = {Peter Kokol and Vili Podgorelec and Francis Dion and Rich de Loach}, title = {Intellectual energy in software design}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {44--45}, year = {2000}, url = {https://doi.org/10.1145/505863.505875}, doi = {10.1145/505863.505875}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/KokolPDL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/KumarLS00, author = {Bharath M. Kumar and R. Lakshminarayanan and Y. N. Srikant}, title = {A study of automatic migration of programs across the Java event models}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {24--29}, year = {2000}, url = {https://doi.org/10.1145/505863.505870}, doi = {10.1145/505863.505870}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/KumarLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/LatherKS00, author = {Anu Singh Lather and Shakti Kumar and Yogesh Singh}, title = {Suitability assessment of software developers: a fuzzy approach}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {30--31}, year = {2000}, url = {https://doi.org/10.1145/505863.505871}, doi = {10.1145/505863.505871}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/LatherKS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Leavens00, author = {Gary T. Leavens}, title = {Formal methods for multimethod software components}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {62--63}, year = {2000}, url = {https://doi.org/10.1145/340855.340971}, doi = {10.1145/340855.340971}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Leavens00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Lehoczky00, author = {John P. Lehoczky}, title = {{INSERT} - incremental software evolution for real-time systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {103}, year = {2000}, url = {https://doi.org/10.1145/340855.341104}, doi = {10.1145/340855.341104}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Lehoczky00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Lieberherr00, author = {Karl J. Lieberherr}, title = {Demeter/adaptive programming}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {100--101}, year = {2000}, url = {https://doi.org/10.1145/340855.341088}, doi = {10.1145/340855.341088}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Lieberherr00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Liu00, author = {Chang Liu}, title = {Term rewriting and all that}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {63}, year = {2000}, url = {https://doi.org/10.1145/505863.505888}, doi = {10.1145/505863.505888}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Liu00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Luckham00, author = {David C. Luckham}, title = {Complex event processing {(CEP)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {99}, year = {2000}, url = {https://doi.org/10.1145/340855.341080}, doi = {10.1145/340855.341080}, timestamp = {Fri, 25 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigsoft/Luckham00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Mairson00, author = {Harry G. Mairson}, title = {Programming language foundations of computation theory}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {63}, year = {2000}, url = {https://doi.org/10.1145/340855.340972}, doi = {10.1145/340855.340972}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Mairson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Mamone00, author = {Salvatore Mamone}, title = {Documentation testing}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {26--29}, year = {2000}, url = {https://doi.org/10.1145/346057.346066}, doi = {10.1145/346057.346066}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Mamone00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Mancoridis00, author = {Spiros Mancoridis}, title = {Toward a design environment for recovering and maintaining the structure of software systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {63--64}, year = {2000}, url = {https://doi.org/10.1145/340855.340973}, doi = {10.1145/340855.340973}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Mancoridis00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/McDonald00, author = {Jim McDonald}, title = {Specware}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {107}, year = {2000}, url = {https://doi.org/10.1145/340855.341139}, doi = {10.1145/340855.341139}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/McDonald00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Mei00, author = {Hong Mei}, title = {A complementary approach to requirements engineering - software architecture orientation}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {40--45}, year = {2000}, url = {https://doi.org/10.1145/346057.346070}, doi = {10.1145/346057.346070}, timestamp = {Tue, 09 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Mei00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/MeseguerT00, author = {Jos{\'{e}} Meseguer and Carolyn L. Talcott}, title = {Maude}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {104}, year = {2000}, url = {https://doi.org/10.1145/340855.341115}, doi = {10.1145/340855.341115}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/MeseguerT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/MesenguerT00, author = {Jos{\'{e}} Meseguer and Carolyn L. Talcott}, title = {Semantic interoperation of open systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {64--65}, year = {2000}, url = {https://doi.org/10.1145/340855.340976}, doi = {10.1145/340855.340976}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/MesenguerT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Milicev00, author = {Dragan Milicev}, title = {Customizable output generation in modeling environments using pipelined domains}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {46--50}, year = {2000}, url = {https://doi.org/10.1145/505863.505876}, doi = {10.1145/505863.505876}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Milicev00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Minsky00, author = {Naftaly H. Minsky}, title = {Towards architectural invariants of evolving systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {65}, year = {2000}, url = {https://doi.org/10.1145/340855.340977}, doi = {10.1145/340855.340977}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Minsky00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Mislove00, author = {Michael W. Mislove}, title = {Semantic models for concurrency}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {65--66}, year = {2000}, url = {https://doi.org/10.1145/340855.340980}, doi = {10.1145/340855.340980}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Mislove00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/MondalG00, author = {Sakib Abdul Mondal and Kingshuk Das Gupta}, title = {Choosing a middleware for web-integration of a legacy application}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {50--53}, year = {2000}, url = {https://doi.org/10.1145/505863.505877}, doi = {10.1145/505863.505877}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/MondalG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Munson00, author = {Ethan V. Munson}, title = {Representations, tools, and services for the complete integration of software development documents}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {25}, year = {2000}, url = {https://doi.org/10.1145/346057.346065}, doi = {10.1145/346057.346065}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Munson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Nadathur00, author = {Gopalan Nadathur}, title = {A framework for realizing derivation systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {66--67}, year = {2000}, url = {https://doi.org/10.1145/340855.340982}, doi = {10.1145/340855.340982}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Nadathur00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/NeculaR00, author = {George C. Necula and Shree Prakash Rahul}, title = {A logic-based approach to software system safety and security}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {67--68}, year = {2000}, url = {https://doi.org/10.1145/340855.340983}, doi = {10.1145/340855.340983}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/NeculaR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Nedunuri00, author = {Srinivas Nedunuri}, title = {The functional approach to programming}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {63--65}, year = {2000}, url = {https://doi.org/10.1145/505863.505889}, doi = {10.1145/505863.505889}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Nedunuri00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Neumann00, author = {Peter G. Neumann}, title = {Risks to the public in computers and related systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {22--26}, year = {2000}, url = {https://doi.org/10.1145/340855.340856}, doi = {10.1145/340855.340856}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Neumann00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Neumann00a, author = {Peter G. Neumann}, title = {Risks to the public in computers and related systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {17--21}, year = {2000}, url = {https://doi.org/10.1145/346057.346063}, doi = {10.1145/346057.346063}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Neumann00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Neumann00b, author = {Peter G. Neumann}, title = {Risks to the public in computers and related systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {15--23}, year = {2000}, url = {https://doi.org/10.1145/505863.505866}, doi = {10.1145/505863.505866}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Neumann00b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Neumann00c, author = {Peter G. Neumann}, title = {Risks to the public in computers and related systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {4}, pages = {7--11}, year = {2000}, url = {https://doi.org/10.1145/352342.352344}, doi = {10.1145/352342.352344}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Neumann00c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Offutt00, author = {Jeff Offutt}, title = {Software testing and analysis of object-oriented software}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {68}, year = {2000}, url = {https://doi.org/10.1145/340855.340986}, doi = {10.1145/340855.340986}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Offutt00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Olsson00, author = {Ronald A. Olsson}, title = {Concurrent programming language support for invocation handling: design and implementation}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {68--69}, year = {2000}, url = {https://doi.org/10.1145/340855.340987}, doi = {10.1145/340855.340987}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Olsson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/OsterweilC00, author = {Leon J. Osterweil and Lori A. Clarke}, title = {{FLAVERS}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {101--102}, year = {2000}, url = {https://doi.org/10.1145/340855.341098}, doi = {10.1145/340855.341098}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/OsterweilC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/OsterweilC00a, author = {Leon J. Osterweil and Lori A. Clarke}, title = {Little-JIL}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {104}, year = {2000}, url = {https://doi.org/10.1145/340855.341113}, doi = {10.1145/340855.341113}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/OsterweilC00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Pierce00, author = {Benjamin C. Pierce}, title = {The essence of objects}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {69--71}, year = {2000}, url = {https://doi.org/10.1145/340855.340989}, doi = {10.1145/340855.340989}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Pierce00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Pontelli00, author = {Enrico Pontelli}, title = {Parallel and distributed execution of constraint programs}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {71--72}, year = {2000}, url = {https://doi.org/10.1145/340855.340992}, doi = {10.1145/340855.340992}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Pontelli00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/PulvermullerS00, author = {Elke Pulverm{\"{u}}ller and Andreas Speck}, title = {Towards generative components}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {22--24}, year = {2000}, url = {https://doi.org/10.1145/346057.346064}, doi = {10.1145/346057.346064}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/PulvermullerS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Raccoon00, author = {L. B. S. Raccoon}, title = {A whole new kind of engineering}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {109--113}, year = {2000}, url = {https://doi.org/10.1145/340855.341144}, doi = {10.1145/340855.341144}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Raccoon00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Rajlich00, author = {V{\'{a}}clav Rajlich}, title = {A model and a tool for change propagation in software}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {72}, year = {2000}, url = {https://doi.org/10.1145/340855.340993}, doi = {10.1145/340855.340993}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Rajlich00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/RajlichRWB00, author = {V{\'{a}}clav Rajlich and Stephen Rank and Norman Wilde and Keith H. Bennett}, title = {Report on a workshop on software change and evolution}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {28--29}, year = {2000}, url = {https://doi.org/10.1145/340855.340858}, doi = {10.1145/340855.340858}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigsoft/RajlichRWB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Ramakrishnan00, author = {C. R. Ramakrishnan}, title = {Tabled logic programming for verification and program analysis}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {73}, year = {2000}, url = {https://doi.org/10.1145/340855.340996}, doi = {10.1145/340855.340996}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Ramakrishnan00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/RamakrishnanRSW00, author = {C. R. Ramakrishnan and I. V. Ramakrishnan and Scott A. Smolka and David Scott Warren}, title = {Specification and evaluation of logic-based model checking}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {73--74}, year = {2000}, url = {https://doi.org/10.1145/340855.340997}, doi = {10.1145/340855.340997}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/RamakrishnanRSW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Ramaswamy00, author = {Ramkumar Ramaswamy}, title = {Latency in distributed, sequential application designs}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {51--55}, year = {2000}, url = {https://doi.org/10.1145/346057.346072}, doi = {10.1145/346057.346072}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Ramaswamy00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Redmiles00, author = {David F. Redmiles}, title = {Improving the design of interactive software}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {74--75}, year = {2000}, url = {https://doi.org/10.1145/340855.340999}, doi = {10.1145/340855.340999}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Redmiles00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/ReedK00, author = {Daniel A. Reed and Simon M. Kaplan}, title = {{ORBIT/VIRTUE} - collaboration and visualization support for complex systems evolution}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {105--106}, year = {2000}, url = {https://doi.org/10.1145/340855.341127}, doi = {10.1145/340855.341127}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/ReedK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Reynolds00, author = {John C. Reynolds}, title = {The design, definition and implementation of programming languages}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {75}, year = {2000}, url = {https://doi.org/10.1145/340855.341002}, doi = {10.1145/340855.341002}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Reynolds00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Richardson00, author = {Debra J. Richardson}, title = {{DAS-BOOT:} design-, architecture- and specification-based approaches to object-oriented testing}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {100}, year = {2000}, url = {https://doi.org/10.1145/340855.341085}, doi = {10.1145/340855.341085}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Richardson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Richardson00a, author = {Debra J. Richardson}, title = {Siddhartha - automated test driver-oracle synthesis}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {106--107}, year = {2000}, url = {https://doi.org/10.1145/340855.341136}, doi = {10.1145/340855.341136}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Richardson00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Richardson00b, author = {Debra J. Richardson}, title = {SoBelt: structural and behavioral execution instrumentation tool}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {107}, year = {2000}, url = {https://doi.org/10.1145/340855.341138}, doi = {10.1145/340855.341138}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Richardson00b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Richardson00c, author = {Debra J. Richardson}, title = {TestTalk: software test description language}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {108}, year = {2000}, url = {https://doi.org/10.1145/340855.341141}, doi = {10.1145/340855.341141}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Richardson00c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/RineN00, author = {David C. Rine and Nader Nada}, title = {Public case-base and tool kit using a validated {RRM}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {76}, year = {2000}, url = {https://doi.org/10.1145/340855.341003}, doi = {10.1145/340855.341003}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/RineN00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/RomanHK00, author = {Gruia{-}Catalin Roman and Delbert Hart and Eileen T. Kraemer}, title = {Exploratory visualization}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {76--77}, year = {2000}, url = {https://doi.org/10.1145/340855.341005}, doi = {10.1145/340855.341005}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/RomanHK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/RomanM00, author = {Gruia{-}Catalin Roman and Amy L. Murphy}, title = {Rapid development of dependable applications over Ad hoc networks}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {77--78}, year = {2000}, url = {https://doi.org/10.1145/340855.341007}, doi = {10.1145/340855.341007}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/RomanM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Rosenblum00, author = {David S. Rosenblum}, title = {{CAREER:} mechanisms for ensuring the integrity of distributed object systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {78--79}, year = {2000}, url = {https://doi.org/10.1145/340855.341008}, doi = {10.1145/340855.341008}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Rosenblum00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Rothermel00, author = {Gregg Rothermel}, title = {Testing and maintaining evolving software systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {79--80}, year = {2000}, url = {https://doi.org/10.1145/340855.341012}, doi = {10.1145/340855.341012}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Rothermel00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Rugaber00, author = {Spencer Rugaber}, title = {Esprit de Corps Suite}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {101}, year = {2000}, url = {https://doi.org/10.1145/340855.341094}, doi = {10.1145/340855.341094}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Rugaber00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/RugaberW00, author = {Spencer Rugaber and Linda M. Wills}, title = {Software evolution and interleaving}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {80}, year = {2000}, url = {https://doi.org/10.1145/340855.341015}, doi = {10.1145/340855.341015}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/RugaberW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Scedrov00, author = {Andre Scedrov}, title = {A language-based security analysis}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {80--81}, year = {2000}, url = {https://doi.org/10.1145/340855.341016}, doi = {10.1145/340855.341016}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Scedrov00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Scherlis00, author = {William L. Scherlis}, title = {Adaptation and commitment technology {(ACT)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {96}, year = {2000}, url = {https://doi.org/10.1145/340855.341051}, doi = {10.1145/340855.341051}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Scherlis00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Schmidt00, author = {David Schmidt}, title = {Abstract interpretation and program modelling}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {81--82}, year = {2000}, url = {https://doi.org/10.1145/340855.341017}, doi = {10.1145/340855.341017}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Schmidt00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/SchmietendorfDF00, author = {Andreas Schmietendorf and Reiner R. Dumke and Erik Foltin}, title = {Metrics based asset assessment}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {4}, pages = {51--61}, year = {2000}, url = {https://doi.org/10.1145/352342.352347}, doi = {10.1145/352342.352347}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/SchmietendorfDF00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Shao00, author = {Zhong Shao}, title = {Typed common intermediate format}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {82}, year = {2000}, url = {https://doi.org/10.1145/340855.341019}, doi = {10.1145/340855.341019}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Shao00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/ShullBZ00, author = {Forrest Shull and Victor R. Basili and Marvin V. Zelkowitz}, title = {The experimental validation and packaging of software technologies}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {82--83}, year = {2000}, url = {https://doi.org/10.1145/340855.341021}, doi = {10.1145/340855.341021}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/ShullBZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Sistla00, author = {A. Prasad Sistla}, title = {Formal methods in concurrent and distributed systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {84}, year = {2000}, url = {https://doi.org/10.1145/340855.341022}, doi = {10.1145/340855.341022}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Sistla00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Smidts00, author = {Carol S. Smidts}, title = {An approach to the automatic generation of software functional architecture}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {84--85}, year = {2000}, url = {https://doi.org/10.1145/340855.341025}, doi = {10.1145/340855.341025}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Smidts00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/SmithV00, author = {Geoffrey Smith and Dennis M. Volpano}, title = {Basic research in information privacy}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {86}, year = {2000}, url = {https://doi.org/10.1145/340855.341026}, doi = {10.1145/340855.341026}, timestamp = {Mon, 19 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/SmithV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Stavridou00, author = {Victoria Stavridou}, title = {Architectural analysis of component-based systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {96--97}, year = {2000}, url = {https://doi.org/10.1145/340855.341061}, doi = {10.1145/340855.341061}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Stavridou00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Stewart00, author = {David B. Stewart}, title = {Automated analysis and fine-tuning of timing properties in embedded real-time systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {86--87}, year = {2000}, url = {https://doi.org/10.1145/340855.341028}, doi = {10.1145/340855.341028}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Stewart00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Stidolph00, author = {Wayne Stidolph}, title = {Evolutionary design of complex software {(EDCS)} demonstration days 1999}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {95}, year = {2000}, url = {https://doi.org/10.1145/340855.341046}, doi = {10.1145/340855.341046}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Stidolph00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Swift00, author = {Terrance Swift}, title = {Principles, practice, and applications of tabled logic programming}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {87--88}, year = {2000}, url = {https://doi.org/10.1145/340855.341031}, doi = {10.1145/340855.341031}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Swift00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Tai00, author = {Kuo{-}Chung Tai}, title = {Analysis and testing of concurrent object-oriented software}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {88}, year = {2000}, url = {https://doi.org/10.1145/340855.341033}, doi = {10.1145/340855.341033}, timestamp = {Tue, 03 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Tai00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TaylorR00, author = {Richard N. Taylor and David F. Redmiles}, title = {Arabica}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {96}, year = {2000}, url = {https://doi.org/10.1145/340855.341053}, doi = {10.1145/340855.341053}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TaylorR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TaylorR00a, author = {Richard N. Taylor and David F. Redmiles}, title = {ArchStudio}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {97}, year = {2000}, url = {https://doi.org/10.1145/340855.341063}, doi = {10.1145/340855.341063}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TaylorR00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TaylorR00b, author = {Richard N. Taylor and David F. Redmiles}, title = {Argo/UML}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {97}, year = {2000}, url = {https://doi.org/10.1145/340855.341065}, doi = {10.1145/340855.341065}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TaylorR00b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TaylorR00c, author = {Richard N. Taylor and David F. Redmiles}, title = {Chimera}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {98}, year = {2000}, url = {https://doi.org/10.1145/340855.341074}, doi = {10.1145/340855.341074}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TaylorR00c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TaylorR00d, author = {Richard N. Taylor and David F. Redmiles}, title = {Expectation-driven event monitoring}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {101}, year = {2000}, url = {https://doi.org/10.1145/340855.341095}, doi = {10.1145/340855.341095}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TaylorR00d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TaylorR00e, author = {Richard Taylor and David F. Redmiles}, title = {Endeavors}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {101}, year = {2000}, url = {https://doi.org/10.1145/340855.341092}, doi = {10.1145/340855.341092}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TaylorR00e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TaylorR00f, author = {Richard N. Taylor and David F. Redmiles}, title = {Knowledge depot}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {104}, year = {2000}, url = {https://doi.org/10.1145/340855.341111}, doi = {10.1145/340855.341111}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TaylorR00f.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TaylorR00g, author = {Richard N. Taylor and David F. Redmiles}, title = {WebDAV}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {108}, year = {2000}, url = {https://doi.org/10.1145/340855.341143}, doi = {10.1145/340855.341143}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TaylorR00g.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Teitelbaum00, author = {Tim Teitelbaum}, title = {CodeSurfer}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {99}, year = {2000}, url = {https://doi.org/10.1145/340855.341076}, doi = {10.1145/340855.341076}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Teitelbaum00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Tian00, author = {Jeff Tian}, title = {Early measurement and improvement of software reliability}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {89}, year = {2000}, url = {https://doi.org/10.1145/340855.341034}, doi = {10.1145/340855.341034}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Tian00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TraasH00, author = {Vincent Traas and Jos van Hillegersberg}, title = {The software component market on the internet current status and conditions for growth}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {114}, year = {2000}, url = {https://doi.org/10.1145/340855.341145}, doi = {10.1145/340855.341145}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TraasH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/TraczS00, author = {Will Tracz and Wayne Stidolph}, title = {{NSF} software engineering and lanuage program summaries}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {30--32}, year = {2000}, url = {https://doi.org/10.1145/340855.352130}, doi = {10.1145/340855.352130}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/TraczS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Varma00, author = {Tathagat Varma}, title = {Automated software testing: introduction, management and performance}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {65}, year = {2000}, url = {https://doi.org/10.1145/505863.505890}, doi = {10.1145/505863.505890}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Varma00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Vestal00, author = {Steve Vestal}, title = {DoME}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {101}, year = {2000}, url = {https://doi.org/10.1145/340855.341089}, doi = {10.1145/340855.341089}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Vestal00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Vestal00a, author = {Steve Vestal}, title = {Incremental constraint engine}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {102--103}, year = {2000}, url = {https://doi.org/10.1145/340855.341102}, doi = {10.1145/340855.341102}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Vestal00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Vestal00b, author = {Steve Vestal}, title = {MetaH}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {105}, year = {2000}, url = {https://doi.org/10.1145/340855.341124}, doi = {10.1145/340855.341124}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Vestal00b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Wand00, author = {Mitchell Wand}, title = {Analysis-based program transformations}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {91--92}, year = {2000}, url = {https://doi.org/10.1145/340855.341041}, doi = {10.1145/340855.341041}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Wand00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/WandC00, author = {Mitchell Wand and William D. Clinger}, title = {Optimizing memory usage in higher-order programming languages: theoretical and experimental studies}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {92}, year = {2000}, url = {https://doi.org/10.1145/340855.341042}, doi = {10.1145/340855.341042}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/WandC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/WangZZ00, author = {Chen Wang and Ying Zhou and Defu Zhang}, title = {An efficient method for expressing active object in {C++}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {32--35}, year = {2000}, url = {https://doi.org/10.1145/505863.505872}, doi = {10.1145/505863.505872}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/WangZZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Weber-Wulff00, author = {Debora Weber{-}Wulff}, title = {Object-oriented software engineering: conquering complex and changing systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {65--66}, year = {2000}, url = {https://doi.org/10.1145/505863.505891}, doi = {10.1145/505863.505891}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Weber-Wulff00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/White00, author = {Elizabeth L. White}, title = {General strategies for dynamic reconfiguration}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {93}, year = {2000}, url = {https://doi.org/10.1145/340855.341044}, doi = {10.1145/340855.341044}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/White00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/WiederholdBSM00, author = {Gio Wiederhold and Dorothea Beringer and Neal Sample and Laurence Melloul}, title = {Composition of multi-site software {(CHAIMS)}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {99--100}, year = {2000}, url = {https://doi.org/10.1145/340855.341082}, doi = {10.1145/340855.341082}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/WiederholdBSM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/X00, title = {Acme and AcmeStudio}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {96}, year = {2000}, url = {https://doi.org/10.1145/340855.341049}, doi = {10.1145/340855.341049}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/X00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/X00a, title = {{ARGUS-1:} "All-Seeing" architectural analysis}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {97}, year = {2000}, url = {https://doi.org/10.1145/340855.341066}, doi = {10.1145/340855.341066}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/X00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/YanLZ00, author = {Han Yan and Fengyu Liu and Hong Zhang}, title = {An object-oriented model of access control based on role}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {64--68}, year = {2000}, url = {https://doi.org/10.1145/346057.346075}, doi = {10.1145/346057.346075}, timestamp = {Mon, 19 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/YanLZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/YanXZL00, author = {Han Yan and Chun{-}Gen Xu and Gong{-}Xuan Zhang and Feng{-}Yu Liu}, title = {Constraint specification for object model of access control based on role}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {60--63}, year = {2000}, url = {https://doi.org/10.1145/346057.346074}, doi = {10.1145/346057.346074}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/YanXZL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Young00, author = {Michal Young}, title = {High assurance technologies}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {106}, year = {2000}, url = {https://doi.org/10.1145/340855.341130}, doi = {10.1145/340855.341130}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Young00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/YuanF00, author = {Xiaodong Yuan and Ying Feng}, title = {The optimization of class hierarchy in object-oriented design}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {2}, pages = {56--59}, year = {2000}, url = {https://doi.org/10.1145/346057.346073}, doi = {10.1145/346057.346073}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/YuanF00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Zanden00, author = {Bradley T. Vander Zanden}, title = {New visualization and debugging technology for one-way dataflow constraints}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {90--91}, year = {2000}, url = {https://doi.org/10.1145/340855.341038}, doi = {10.1145/340855.341038}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Zanden00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/Zeil00, author = {Steven J. Zeil}, title = {Reliability growth modeling from fault failure rates}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {94}, year = {2000}, url = {https://doi.org/10.1145/340855.341045}, doi = {10.1145/340855.341045}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/Zeil00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/ZhaoE00, author = {Luyin Zhao and Sebastian G. Elbaum}, title = {A survey on quality related activities in \emph{open source}}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {54--57}, year = {2000}, url = {https://doi.org/10.1145/505863.505878}, doi = {10.1145/505863.505878}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/ZhaoE00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/ZhouP00, author = {Yonglin Zhou and Yunhe Pan}, title = {Agent-oriented analysis and modeling}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {3}, pages = {36--40}, year = {2000}, url = {https://doi.org/10.1145/505863.505873}, doi = {10.1145/505863.505873}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/ZhouP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.