Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sigsoft/AllenG98,
  author       = {Robert Allen and
                  David Garlan},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Formal Modeling and Analysis of the {HLA} Component Integration Standard},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {70--79},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288251},
  doi          = {10.1145/288195.288251},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/AllenG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AlurY98,
  author       = {Rajeev Alur and
                  Mihalis Yannakakis},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Model Checking of Hierarchical State Machines},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {175--188},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288305},
  doi          = {10.1145/288195.288305},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/AlurY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AstleyA98,
  author       = {Mark Astley and
                  Gul Agha},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Customizaton and Compositon of Distributed Objects: Middleware Abstractions
                  for Policy Management},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288206},
  doi          = {10.1145/288195.288206},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/AstleyA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AtkinsonG98,
  author       = {Darren C. Atkinson and
                  William G. Griswold},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Effective Whole-Program Analysis in the Presence of Pointers},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {46--55},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288217},
  doi          = {10.1145/288195.288217},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/AtkinsonG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CoolW98,
  author       = {Jonathan E. Cook and
                  Alexander L. Wolf},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Event-Base Detection of Concurrency},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {35--45},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288214},
  doi          = {10.1145/288195.288214},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CoolW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DisneyJ98,
  author       = {Anne M. Disney and
                  Philip M. Johnson},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Investigation Data Quality Problems in the {PSP}},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {143--152},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288292},
  doi          = {10.1145/288195.288292},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/DisneyJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DwyerP98,
  author       = {Matthew B. Dwyer and
                  Corina S. Pasareanu},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Filter-Based Model Checking of Partial Systems},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {189--202},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288307},
  doi          = {10.1145/288195.288307},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/DwyerP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FongC98,
  author       = {Philip W. L. Fong and
                  Robert D. Cameron},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Proof Linking: An Architecture for Modular Verification of Dynamically-Linked
                  Mobile Code},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {222--230},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288317},
  doi          = {10.1145/288195.288317},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/FongC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FranklI98,
  author       = {Phyllis G. Frankl and
                  Oleg Iakounenko},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Further Empirical Studies of Test Effectiveness},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {153--162},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288298},
  doi          = {10.1145/288195.288298},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/FranklI98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GarlanJN98,
  author       = {David Garlan and
                  Somesh Jha and
                  David Notkin},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Reasoning about Implicit Invocation},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {209--221},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288312},
  doi          = {10.1145/288195.288312},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GarlanJN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Griss98,
  author       = {Martin L. Griss},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Software Engineering as a Profession: Industry and Academia Working
                  Together},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {203--208},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288311},
  doi          = {10.1145/288195.288311},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Griss98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuptaMS98,
  author       = {Neelam Gupta and
                  Aditya P. Mathur and
                  Mary Lou Soffa},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Automated Test Data Generation Using an Iterative Relaxation Method},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {231--244},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288321},
  doi          = {10.1145/288195.288321},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GuptaMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Jackson98,
  author       = {Daniel Jackson},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {An Intermedicate Design Language and Its Analysis},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {121--130},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288282},
  doi          = {10.1145/288195.288282},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Jackson98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JeffordsH98,
  author       = {Ralph D. Jeffords and
                  Constance L. Heitmeyer},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Automatic Generation of State Invariants from Requirements Specifications},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {56--69},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288218},
  doi          = {10.1145/288195.288218},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/JeffordsH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Karasick98,
  author       = {Michael Karasick},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {The Architecture of Montana: An Open and Extensible Programming Environment
                  with an Incremental {C++}},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {131--142},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288284},
  doi          = {10.1145/288195.288284},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Karasick98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KontioGL98,
  author       = {Jyrki Kontio and
                  Gerhard Getto and
                  Dieter Landes},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Experiences in Improving Risk Management Processes Using the Concepts
                  of the Riskit Method},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {163--172},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288301},
  doi          = {10.1145/288195.288301},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/KontioGL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KrishnamurthiF98,
  author       = {Shriram Krishnamurthi and
                  Matthias Felleisen},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Toward a Formal Theory of Extensible Software},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {88--98},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288269},
  doi          = {10.1145/288195.288269},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/KrishnamurthiF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Mahony98,
  author       = {Michael S. Mahony},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Finding a History for Software Engineering},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {87},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288260},
  doi          = {10.1145/288195.288260},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Mahony98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MasudaSU98,
  author       = {Gou Masuda and
                  Norihiro Sakamoto and
                  Kazuo Ushijima},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Applying Design Patterns to Decision Tree Learning System},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {111--120},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288279},
  doi          = {10.1145/288195.288279},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MasudaSU98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NaumovichA98,
  author       = {Gleb Naumovich and
                  George S. Avrunin},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {A Conservative Data Flow Algorithm for Detecting All Pairs of Statement
                  That May Happen in Parallel},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {24--34},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288213},
  doi          = {10.1145/288195.288213},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/NaumovichA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SeemannG98,
  author       = {Jochen Seemann and
                  J{\"{u}}rgen Wolff von Gudenberg},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Pattern-Based Design Recovery of Java Software},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {10--16},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288207},
  doi          = {10.1145/288195.288207},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SeemannG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SneltingT98,
  author       = {Gregor Snelting and
                  Frank Tip},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Reengineering Class Hierarchies Using Concept Analysis},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {99--110},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288273},
  doi          = {10.1145/288195.288273},
  timestamp    = {Sat, 31 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SneltingT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/StevensP98,
  author       = {Perdita Stevens and
                  Rob Pooley},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Systems Reengineering Patterns},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {17--23},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288210},
  doi          = {10.1145/288195.288210},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/StevensP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/StuurmanK98,
  author       = {Sylvia Stuurman and
                  Jan van Katwijk},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {On-Line Change Mechanisms},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {80--86},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288257},
  doi          = {10.1145/288195.288257},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/StuurmanK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1998,
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195},
  doi          = {10.1145/288195},
  isbn         = {978-1-58113-108-6},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics