Search dblp for Publications

export results for "toc:db/conf/sigsoft/fse96.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sigsoft/AndersonBBCMNR96,
  author       = {Richard J. Anderson and
                  Paul Beame and
                  Steve Burns and
                  William Chan and
                  Francesmary Modugno and
                  David Notkin and
                  Jon Damon Reese},
  editor       = {David Garlan},
  title        = {Model Checking Large Software Specifications},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {156--166},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239127},
  doi          = {10.1145/239098.239127},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/AndersonBBCMNR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BarrettKW96,
  author       = {Daniel J. Barrett and
                  Alan Kaplan and
                  Jack C. Wileden},
  editor       = {David Garlan},
  title        = {Automated Support for Seamless Interoperability in Polylingual Software
                  Systems},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {147--155},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239123},
  doi          = {10.1145/239098.239123},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/BarrettKW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Boehm96,
  author       = {Barry W. Boehm},
  editor       = {David Garlan},
  title        = {Industrial Priorities for Software Engineering Research (Panel)},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {2},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239103},
  doi          = {10.1145/239098.239103},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Boehm96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DamonJJ96,
  author       = {Craig Damon and
                  Daniel Jackson and
                  Somesh Jha},
  editor       = {David Garlan},
  title        = {Checking Relational Specifications With Binary Decision Diagrams},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {70--80},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239110},
  doi          = {10.1145/239098.239110},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/DamonJJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DarimontL96,
  author       = {Robert Darimont and
                  Axel van Lamsweerde},
  editor       = {David Garlan},
  title        = {Formal Refinement Patterns for Goal-Driven Requirements Elaboration},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {179--190},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239131},
  doi          = {10.1145/239098.239131},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/DarimontL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DillonR96,
  author       = {Laura K. Dillon and
                  Y. S. Ramakrishna},
  editor       = {David Garlan},
  title        = {Generating Oracles from Your Favorite Temporal Logic Specifications},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {106--117},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239116},
  doi          = {10.1145/239098.239116},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/DillonR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GriswoldCBM96,
  author       = {William G. Griswold and
                  Morison I. Chen and
                  Robert W. Bowdidge and
                  J. David Morgenthaler},
  editor       = {David Garlan},
  title        = {Tool Support for Planning the Restructuring of Data Abstractions in
                  Large Systems},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {33--45},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239107},
  doi          = {10.1145/239098.239107},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GriswoldCBM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Gunter96,
  author       = {Carl A. Gunter},
  editor       = {David Garlan},
  title        = {Abstracting Dependencies between Software Configuration Items},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {167--178},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239129},
  doi          = {10.1145/239098.239129},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Gunter96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Jackson96,
  author       = {Michael Jackson},
  editor       = {David Garlan},
  title        = {Problems, Methods, and Structures (Abstract)},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239100},
  doi          = {10.1145/239098.239100},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Jackson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Kiczales96,
  author       = {Gregor Kiczales},
  editor       = {David Garlan},
  title        = {What Can Programming Languages Contribute to Software Engineering,
                  and Vice Versa? (Panel)},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {2},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239099},
  doi          = {10.1145/239098.239099},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Kiczales96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MageeK96,
  author       = {Jeff Magee and
                  Jeff Kramer},
  editor       = {David Garlan},
  title        = {Dynamic Structure in Software Architectures},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239104},
  doi          = {10.1145/239098.239104},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MageeK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MedvidovicORT96,
  author       = {Nenad Medvidovic and
                  Peyman Oreizy and
                  Jason E. Robbins and
                  Richard N. Taylor},
  editor       = {David Garlan},
  title        = {Using Object-Oriented Typing to Support Architectural Design in the
                  {C2} Style},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {24--32},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239106},
  doi          = {10.1145/239098.239106},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MedvidovicORT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Metayer96,
  author       = {Daniel Le M{\'{e}}tayer},
  editor       = {David Garlan},
  title        = {Software Architecture Styles as Graph Grammars},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {15--23},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239105},
  doi          = {10.1145/239098.239105},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Metayer96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NaumovichCO96,
  author       = {Gleb Naumovich and
                  Lori A. Clarke and
                  Leon J. Osterweil},
  editor       = {David Garlan},
  title        = {Verification of Communication Protocols Using Data Flow Analysis},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {93--105},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239114},
  doi          = {10.1145/239098.239114},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/NaumovichCO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ParissisO96,
  author       = {Ioannis Parissis and
                  Farid Ouabdesselam},
  editor       = {David Garlan},
  title        = {Specification-based Testing of Synchronous Software},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {127--134},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239119},
  doi          = {10.1145/239098.239119},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ParissisO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Petroski96,
  author       = {Henry Petroski},
  editor       = {David Garlan},
  title        = {Engineering Bridges: From Concept to Reality (Abstract)},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239101},
  doi          = {10.1145/239098.239101},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Petroski96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Rechtin96,
  author       = {Eberhardt Rechtin},
  editor       = {David Garlan},
  title        = {Software Systems Architecting (Abstract)},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239102},
  doi          = {10.1145/239098.239102},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Rechtin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RosenblumW96,
  author       = {David S. Rosenblum and
                  Elaine J. Weyuker},
  editor       = {David Garlan},
  title        = {Predicting the Cost-Effectiveness of Regression Testing Strategies},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {118--126},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239118},
  doi          = {10.1145/239098.239118},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/RosenblumW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SeiterPL96,
  author       = {Linda M. Seiter and
                  Jens Palsberg and
                  Karl J. Lieberherr},
  editor       = {David Garlan},
  title        = {Evolution of Object Behavior Using Context Relations},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {46--57},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239108},
  doi          = {10.1145/239098.239108},
  timestamp    = {Sat, 31 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SeiterPL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SiffR96,
  author       = {Michael Siff and
                  Thomas W. Reps},
  editor       = {David Garlan},
  title        = {Program Generalization for Software Reuse: From {C} to {C++}},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {135--146},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239121},
  doi          = {10.1145/239098.239121},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SiffR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VanHilstN96,
  author       = {Michael VanHilst and
                  David Notkin},
  editor       = {David Garlan},
  title        = {Decoupling Change from Design},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {58--69},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239109},
  doi          = {10.1145/239098.239109},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/VanHilstN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangRL96,
  author       = {Sean Zhang and
                  Barbara G. Ryder and
                  William Landi},
  editor       = {David Garlan},
  title        = {Program Decomposition for Pointer Aliasing: {A} Step Toward Practical
                  Analyses},
  booktitle    = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  pages        = {81--92},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098.239112},
  doi          = {10.1145/239098.239112},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ZhangRL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1996,
  editor       = {David Garlan},
  title        = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
                  October 16-18, 1996},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/239098},
  doi          = {10.1145/239098},
  isbn         = {978-0-89791-797-1},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics