Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/sigsoft/fse98.bht:"
@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} }
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.