Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sigsoft/AhoG95,
  author       = {Alfred V. Aho and
                  Nancy D. Griffeth},
  editor       = {Gail E. Kaiser},
  title        = {Feature Interactions in the Global Information Infrastructure (Panel)},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {2--4},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222133},
  doi          = {10.1145/222124.222133},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/AhoG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/CheungK95,
  author       = {Shing{-}Chi Cheung and
                  Jeff Kramer},
  editor       = {Gail E. Kaiser},
  title        = {Compositional Reachability Analysis of Finite-State Distributed Systems
                  with User-Specified Constraints},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {140--150},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222149},
  doi          = {10.1145/222124.222149},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CheungK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Fekete95,
  author       = {Alan D. Fekete},
  editor       = {Gail E. Kaiser},
  title        = {Liveness Conditions in Model-Based Service Specifications: {A} Case
                  Study},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {62--71},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222140},
  doi          = {10.1145/222124.222140},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Fekete95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/FiadeiroM95,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  editor       = {Gail E. Kaiser},
  title        = {Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {72--80},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222141},
  doi          = {10.1145/222124.222141},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/FiadeiroM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Garlan95,
  author       = {David Garlan},
  editor       = {Gail E. Kaiser},
  title        = {Software Architecture: Next Steps Towards an Engineering Discipline
                  for Software Systems Design (Panel)},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {5},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222134},
  doi          = {10.1145/222124.222134},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Garlan95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/GuptaS95,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Gail E. Kaiser},
  title        = {Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic
                  Information},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {29--40},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222137},
  doi          = {10.1145/222124.222137},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GuptaS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/HoffmanS95,
  author       = {Daniel Hoffman and
                  Paul A. Strooper},
  editor       = {Gail E. Kaiser},
  title        = {State Abstraction and Modular Software Development},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {53--61},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222139},
  doi          = {10.1145/222124.222139},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/HoffmanS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/HorwitzRS95,
  author       = {Susan Horwitz and
                  Thomas W. Reps and
                  Shmuel Sagiv},
  editor       = {Gail E. Kaiser},
  title        = {Demand Interprocedural Dataflow Analysis},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {104--115},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222146},
  doi          = {10.1145/222124.222146},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/HorwitzRS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/KaplanW95,
  author       = {Alan Kaplan and
                  Jack C. Wileden},
  editor       = {Gail E. Kaiser},
  title        = {Formalization and Application of a Unifying Model for Name Management},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {161--172},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222152},
  doi          = {10.1145/222124.222152},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/KaplanW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/MurphyN95,
  author       = {Gail C. Murphy and
                  David Notkin},
  editor       = {Gail E. Kaiser},
  title        = {Lightweight Source Model Extraction},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {116--127},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222147},
  doi          = {10.1145/222124.222147},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MurphyN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/MurphyNS95,
  author       = {Gail C. Murphy and
                  David Notkin and
                  Kevin J. Sullivan},
  editor       = {Gail E. Kaiser},
  title        = {Software Reflexion Models: Bridging the Gap Between Source and High-Level
                  Models},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {18--28},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222136},
  doi          = {10.1145/222124.222136},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MurphyNS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/PorterSTV95,
  author       = {Adam A. Porter and
                  Harvey P. Siy and
                  Carol A. Toman and
                  Lawrence G. Votta},
  editor       = {Gail E. Kaiser},
  title        = {An Experiment to Assess the Cost-Benefits of Code Inspections in Large
                  Scale Software Development},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {92--103},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222144},
  doi          = {10.1145/222124.222144},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/PorterSTV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/RepsR95,
  author       = {Thomas W. Reps and
                  Genevieve Rosay},
  editor       = {Gail E. Kaiser},
  title        = {Precise Interprocedural Chopping},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {41--52},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222138},
  doi          = {10.1145/222124.222138},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/RepsR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Weyuker95,
  author       = {Elaine J. Weyuker},
  editor       = {Gail E. Kaiser},
  title        = {Using the Consequence of Failures for Testing and Reliability Assessment},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {81--91},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222143},
  doi          = {10.1145/222124.222143},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Weyuker95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/WingV95,
  author       = {Jeannette M. Wing and
                  Mandana Vaziri},
  editor       = {Gail E. Kaiser},
  title        = {Model Checking Software Systems: {A} Case Study},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {128--139},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222148},
  doi          = {10.1145/222124.222148},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/WingV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/ZaremskiW95,
  author       = {Amy Moormann Zaremski and
                  Jeannette M. Wing},
  editor       = {Gail E. Kaiser},
  title        = {Specification Matching of Software Components},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {6--17},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222135},
  doi          = {10.1145/222124.222135},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ZaremskiW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Zeller95,
  author       = {Andreas Zeller},
  editor       = {Gail E. Kaiser},
  title        = {A Unified Version Model for Configuration Management},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {151--160},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222151},
  doi          = {10.1145/222124.222151},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Zeller95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sigsoft/1995,
  editor       = {Gail E. Kaiser},
  title        = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124},
  doi          = {10.1145/222124},
  isbn         = {978-0-89791-716-2},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.