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