:facetid:toc:\"db/conf/sigsoft/fse96.bht\"
OK
:facetid:toc:db/conf/sigsoft/fse96.bht
Richard J. AndersonPaul BeameSteve Burns 0002William Chan 0001Francesmary ModugnoDavid NotkinJon Damon ReeseModel Checking Large Software Specifications.SIGSOFT FSE156-1661996Conference and Workshop Papersclosedconf/sigsoft/AndersonBBCMNR9610.1145/239098.239127https://doi.org/10.1145/239098.239127https://dblp.org/rec/conf/sigsoft/AndersonBBCMNR96
URL#6701509
Daniel J. BarrettAlan KaplanJack C. WiledenAutomated Support for Seamless Interoperability in Polylingual Software Systems.SIGSOFT FSE147-1551996Conference and Workshop Papersclosedconf/sigsoft/BarrettKW9610.1145/239098.239123https://doi.org/10.1145/239098.239123https://dblp.org/rec/conf/sigsoft/BarrettKW96
URL#6701512
Barry W. BoehmIndustrial Priorities for Software Engineering Research (Panel).SIGSOFT FSE21996Conference and Workshop Papersclosedconf/sigsoft/Boehm9610.1145/239098.239103https://doi.org/10.1145/239098.239103https://dblp.org/rec/conf/sigsoft/Boehm96
URL#6701517
Craig DamonDaniel Jackson 0001Somesh JhaChecking Relational Specifications With Binary Decision Diagrams.SIGSOFT FSE70-801996Conference and Workshop Papersclosedconf/sigsoft/DamonJJ9610.1145/239098.239110https://doi.org/10.1145/239098.239110https://dblp.org/rec/conf/sigsoft/DamonJJ96
URL#6701521
Robert DarimontAxel van LamsweerdeFormal Refinement Patterns for Goal-Driven Requirements Elaboration.SIGSOFT FSE179-1901996Conference and Workshop Papersclosedconf/sigsoft/DarimontL9610.1145/239098.239131https://doi.org/10.1145/239098.239131https://dblp.org/rec/conf/sigsoft/DarimontL96
URL#6701522
Laura K. DillonY. S. RamakrishnaGenerating Oracles from Your Favorite Temporal Logic Specifications.SIGSOFT FSE106-1171996Conference and Workshop Papersclosedconf/sigsoft/DillonR9610.1145/239098.239116https://doi.org/10.1145/239098.239116https://dblp.org/rec/conf/sigsoft/DillonR96
URL#6701526
William G. GriswoldMorison I. ChenRobert W. BowdidgeJ. David MorgenthalerTool Support for Planning the Restructuring of Data Abstractions in Large Systems.SIGSOFT FSE33-451996Conference and Workshop Papersclosedconf/sigsoft/GriswoldCBM9610.1145/239098.239107https://doi.org/10.1145/239098.239107https://dblp.org/rec/conf/sigsoft/GriswoldCBM96
URL#6701536
Carl A. GunterAbstracting Dependencies between Software Configuration Items.SIGSOFT FSE167-1781996Conference and Workshop Papersclosedconf/sigsoft/Gunter9610.1145/239098.239129https://doi.org/10.1145/239098.239129https://dblp.org/rec/conf/sigsoft/Gunter96
URL#6701539
Michael Jackson 0001Problems, Methods, and Structures (Abstract).SIGSOFT FSE11996Conference and Workshop Papersclosedconf/sigsoft/Jackson9610.1145/239098.239100https://doi.org/10.1145/239098.239100https://dblp.org/rec/conf/sigsoft/Jackson96
URL#6701543
Gregor KiczalesWhat Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel).SIGSOFT FSE21996Conference and Workshop Papersclosedconf/sigsoft/Kiczales9610.1145/239098.239099https://doi.org/10.1145/239098.239099https://dblp.org/rec/conf/sigsoft/Kiczales96
URL#6701547
Jeff MageeJeff KramerDynamic Structure in Software Architectures.SIGSOFT FSE3-141996Conference and Workshop Papersclosedconf/sigsoft/MageeK9610.1145/239098.239104https://doi.org/10.1145/239098.239104https://dblp.org/rec/conf/sigsoft/MageeK96
URL#6701553
Nenad MedvidovicPeyman OreizyJason E. RobbinsRichard N. TaylorUsing Object-Oriented Typing to Support Architectural Design in the C2 Style.SIGSOFT FSE24-321996Conference and Workshop Papersclosedconf/sigsoft/MedvidovicORT9610.1145/239098.239106https://doi.org/10.1145/239098.239106https://dblp.org/rec/conf/sigsoft/MedvidovicORT96
URL#6701559
Daniel Le MétayerSoftware Architecture Styles as Graph Grammars.SIGSOFT FSE15-231996Conference and Workshop Papersclosedconf/sigsoft/Metayer9610.1145/239098.239105https://doi.org/10.1145/239098.239105https://dblp.org/rec/conf/sigsoft/Metayer96
URL#6701562
Gleb NaumovichLori A. ClarkeLeon J. OsterweilVerification of Communication Protocols Using Data Flow Analysis.SIGSOFT FSE93-1051996Conference and Workshop Papersclosedconf/sigsoft/NaumovichCO9610.1145/239098.239114https://doi.org/10.1145/239098.239114https://dblp.org/rec/conf/sigsoft/NaumovichCO96
URL#6701568
Ioannis ParissisFarid OuabdesselamSpecification-based Testing of Synchronous Software.SIGSOFT FSE127-1341996Conference and Workshop Papersclosedconf/sigsoft/ParissisO9610.1145/239098.239119https://doi.org/10.1145/239098.239119https://dblp.org/rec/conf/sigsoft/ParissisO96
URL#6701571
Henry PetroskiEngineering Bridges: From Concept to Reality (Abstract).SIGSOFT FSE11996Conference and Workshop Papersclosedconf/sigsoft/Petroski9610.1145/239098.239101https://doi.org/10.1145/239098.239101https://dblp.org/rec/conf/sigsoft/Petroski96
URL#6701575
Eberhardt RechtinSoftware Systems Architecting (Abstract).SIGSOFT FSE11996Conference and Workshop Papersclosedconf/sigsoft/Rechtin9610.1145/239098.239102https://doi.org/10.1145/239098.239102https://dblp.org/rec/conf/sigsoft/Rechtin96
URL#6701582
David S. RosenblumElaine J. WeyukerPredicting the Cost-Effectiveness of Regression Testing Strategies.SIGSOFT FSE118-1261996Conference and Workshop Papersclosedconf/sigsoft/RosenblumW9610.1145/239098.239118https://doi.org/10.1145/239098.239118https://dblp.org/rec/conf/sigsoft/RosenblumW96
URL#6701586
Linda M. SeiterJens PalsbergKarl J. LieberherrEvolution of Object Behavior Using Context Relations.SIGSOFT FSE46-571996Conference and Workshop Papersclosedconf/sigsoft/SeiterPL9610.1145/239098.239108https://doi.org/10.1145/239098.239108https://dblp.org/rec/conf/sigsoft/SeiterPL96
URL#6701588
Michael SiffThomas W. RepsProgram Generalization for Software Reuse: From C to C++.SIGSOFT FSE135-1461996Conference and Workshop Papersclosedconf/sigsoft/SiffR9610.1145/239098.239121https://doi.org/10.1145/239098.239121https://dblp.org/rec/conf/sigsoft/SiffR96
URL#6701590
Michael VanHilstDavid NotkinDecoupling Change from Design.SIGSOFT FSE58-691996Conference and Workshop Papersclosedconf/sigsoft/VanHilstN9610.1145/239098.239109https://doi.org/10.1145/239098.239109https://dblp.org/rec/conf/sigsoft/VanHilstN96
URL#6701595
Sean ZhangBarbara G. RyderWilliam LandiProgram Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.SIGSOFT FSE81-921996Conference and Workshop Papersclosedconf/sigsoft/ZhangRL9610.1145/239098.239112https://doi.org/10.1145/239098.239112https://dblp.org/rec/conf/sigsoft/ZhangRL96
URL#6701600
David GarlanProceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996SIGSOFT FSEACM1996Editorshipconf/sigsoft/199610.1145/239098https://doi.org/10.1145/239098https://dblp.org/rec/conf/sigsoft/1996
URL#6704983