Search dblp for Publications

export results for "toc:db/journals/sigsoft/sigsoft25.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics