callback( { "result":{ "query":":facetid:toc:\"db/conf/sigsoft/fse96.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"65.29" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"23", "@dc":"23", "@oc":"23", "@id":"43321530", "text":":facetid:toc:db/conf/sigsoft/fse96.bht" } }, "hits":{ "@total":"23", "@computed":"23", "@sent":"23", "@first":"0", "hit":[{ "@score":"1", "@id":"6701509", "info":{"authors":{"author":[{"@pid":"93/6067","text":"Richard J. Anderson"},{"@pid":"b/PaulBeame","text":"Paul Beame"},{"@pid":"50/774","text":"Steve Burns 0002"},{"@pid":"58/2301-1","text":"William Chan 0001"},{"@pid":"34/4528","text":"Francesmary Modugno"},{"@pid":"n/DavidNotkin","text":"David Notkin"},{"@pid":"79/3488","text":"Jon Damon Reese"}]},"title":"Model Checking Large Software Specifications.","venue":"SIGSOFT FSE","pages":"156-166","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/AndersonBBCMNR96","doi":"10.1145/239098.239127","ee":"https://doi.org/10.1145/239098.239127","url":"https://dblp.org/rec/conf/sigsoft/AndersonBBCMNR96"}, "url":"URL#6701509" }, { "@score":"1", "@id":"6701512", "info":{"authors":{"author":[{"@pid":"81/6735","text":"Daniel J. Barrett"},{"@pid":"47/6814","text":"Alan Kaplan"},{"@pid":"w/JackCWileden","text":"Jack C. Wileden"}]},"title":"Automated Support for Seamless Interoperability in Polylingual Software Systems.","venue":"SIGSOFT FSE","pages":"147-155","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/BarrettKW96","doi":"10.1145/239098.239123","ee":"https://doi.org/10.1145/239098.239123","url":"https://dblp.org/rec/conf/sigsoft/BarrettKW96"}, "url":"URL#6701512" }, { "@score":"1", "@id":"6701517", "info":{"authors":{"author":{"@pid":"b/BarryWBoehm","text":"Barry W. Boehm"}},"title":"Industrial Priorities for Software Engineering Research (Panel).","venue":"SIGSOFT FSE","pages":"2","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/Boehm96","doi":"10.1145/239098.239103","ee":"https://doi.org/10.1145/239098.239103","url":"https://dblp.org/rec/conf/sigsoft/Boehm96"}, "url":"URL#6701517" }, { "@score":"1", "@id":"6701521", "info":{"authors":{"author":[{"@pid":"25/3584","text":"Craig Damon"},{"@pid":"80/1906-1","text":"Daniel Jackson 0001"},{"@pid":"j/SomeshJha","text":"Somesh Jha"}]},"title":"Checking Relational Specifications With Binary Decision Diagrams.","venue":"SIGSOFT FSE","pages":"70-80","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/DamonJJ96","doi":"10.1145/239098.239110","ee":"https://doi.org/10.1145/239098.239110","url":"https://dblp.org/rec/conf/sigsoft/DamonJJ96"}, "url":"URL#6701521" }, { "@score":"1", "@id":"6701522", "info":{"authors":{"author":[{"@pid":"17/5544","text":"Robert Darimont"},{"@pid":"71/4758","text":"Axel van Lamsweerde"}]},"title":"Formal Refinement Patterns for Goal-Driven Requirements Elaboration.","venue":"SIGSOFT FSE","pages":"179-190","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/DarimontL96","doi":"10.1145/239098.239131","ee":"https://doi.org/10.1145/239098.239131","url":"https://dblp.org/rec/conf/sigsoft/DarimontL96"}, "url":"URL#6701522" }, { "@score":"1", "@id":"6701526", "info":{"authors":{"author":[{"@pid":"d/LKDillon","text":"Laura K. Dillon"},{"@pid":"37/4923","text":"Y. S. Ramakrishna"}]},"title":"Generating Oracles from Your Favorite Temporal Logic Specifications.","venue":"SIGSOFT FSE","pages":"106-117","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/DillonR96","doi":"10.1145/239098.239116","ee":"https://doi.org/10.1145/239098.239116","url":"https://dblp.org/rec/conf/sigsoft/DillonR96"}, "url":"URL#6701526" }, { "@score":"1", "@id":"6701536", "info":{"authors":{"author":[{"@pid":"g/WilliamGGriswold","text":"William G. Griswold"},{"@pid":"45/3983","text":"Morison I. Chen"},{"@pid":"99/4455","text":"Robert W. Bowdidge"},{"@pid":"31/4906","text":"J. David Morgenthaler"}]},"title":"Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.","venue":"SIGSOFT FSE","pages":"33-45","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/GriswoldCBM96","doi":"10.1145/239098.239107","ee":"https://doi.org/10.1145/239098.239107","url":"https://dblp.org/rec/conf/sigsoft/GriswoldCBM96"}, "url":"URL#6701536" }, { "@score":"1", "@id":"6701539", "info":{"authors":{"author":{"@pid":"g/CarlAGunter","text":"Carl A. Gunter"}},"title":"Abstracting Dependencies between Software Configuration Items.","venue":"SIGSOFT FSE","pages":"167-178","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/Gunter96","doi":"10.1145/239098.239129","ee":"https://doi.org/10.1145/239098.239129","url":"https://dblp.org/rec/conf/sigsoft/Gunter96"}, "url":"URL#6701539" }, { "@score":"1", "@id":"6701543", "info":{"authors":{"author":{"@pid":"92/1629-1","text":"Michael Jackson 0001"}},"title":"Problems, Methods, and Structures (Abstract).","venue":"SIGSOFT FSE","pages":"1","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/Jackson96","doi":"10.1145/239098.239100","ee":"https://doi.org/10.1145/239098.239100","url":"https://dblp.org/rec/conf/sigsoft/Jackson96"}, "url":"URL#6701543" }, { "@score":"1", "@id":"6701547", "info":{"authors":{"author":{"@pid":"k/GregorKiczales","text":"Gregor Kiczales"}},"title":"What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel).","venue":"SIGSOFT FSE","pages":"2","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/Kiczales96","doi":"10.1145/239098.239099","ee":"https://doi.org/10.1145/239098.239099","url":"https://dblp.org/rec/conf/sigsoft/Kiczales96"}, "url":"URL#6701547" }, { "@score":"1", "@id":"6701553", "info":{"authors":{"author":[{"@pid":"m/JeffMagee","text":"Jeff Magee"},{"@pid":"k/JeffKramer","text":"Jeff Kramer"}]},"title":"Dynamic Structure in Software Architectures.","venue":"SIGSOFT FSE","pages":"3-14","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/MageeK96","doi":"10.1145/239098.239104","ee":"https://doi.org/10.1145/239098.239104","url":"https://dblp.org/rec/conf/sigsoft/MageeK96"}, "url":"URL#6701553" }, { "@score":"1", "@id":"6701559", "info":{"authors":{"author":[{"@pid":"65/1728","text":"Nenad Medvidovic"},{"@pid":"78/6209","text":"Peyman Oreizy"},{"@pid":"49/660","text":"Jason E. Robbins"},{"@pid":"t/RichardNTaylor","text":"Richard N. Taylor"}]},"title":"Using Object-Oriented Typing to Support Architectural Design in the C2 Style.","venue":"SIGSOFT FSE","pages":"24-32","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/MedvidovicORT96","doi":"10.1145/239098.239106","ee":"https://doi.org/10.1145/239098.239106","url":"https://dblp.org/rec/conf/sigsoft/MedvidovicORT96"}, "url":"URL#6701559" }, { "@score":"1", "@id":"6701562", "info":{"authors":{"author":{"@pid":"73/4987","text":"Daniel Le Métayer"}},"title":"Software Architecture Styles as Graph Grammars.","venue":"SIGSOFT FSE","pages":"15-23","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/Metayer96","doi":"10.1145/239098.239105","ee":"https://doi.org/10.1145/239098.239105","url":"https://dblp.org/rec/conf/sigsoft/Metayer96"}, "url":"URL#6701562" }, { "@score":"1", "@id":"6701568", "info":{"authors":{"author":[{"@pid":"38/5297","text":"Gleb Naumovich"},{"@pid":"c/LoriAClarke","text":"Lori A. Clarke"},{"@pid":"o/LJOsterweil","text":"Leon J. Osterweil"}]},"title":"Verification of Communication Protocols Using Data Flow Analysis.","venue":"SIGSOFT FSE","pages":"93-105","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/NaumovichCO96","doi":"10.1145/239098.239114","ee":"https://doi.org/10.1145/239098.239114","url":"https://dblp.org/rec/conf/sigsoft/NaumovichCO96"}, "url":"URL#6701568" }, { "@score":"1", "@id":"6701571", "info":{"authors":{"author":[{"@pid":"96/1164","text":"Ioannis Parissis"},{"@pid":"74/944","text":"Farid Ouabdesselam"}]},"title":"Specification-based Testing of Synchronous Software.","venue":"SIGSOFT FSE","pages":"127-134","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/ParissisO96","doi":"10.1145/239098.239119","ee":"https://doi.org/10.1145/239098.239119","url":"https://dblp.org/rec/conf/sigsoft/ParissisO96"}, "url":"URL#6701571" }, { "@score":"1", "@id":"6701575", "info":{"authors":{"author":{"@pid":"25/5720","text":"Henry Petroski"}},"title":"Engineering Bridges: From Concept to Reality (Abstract).","venue":"SIGSOFT FSE","pages":"1","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/Petroski96","doi":"10.1145/239098.239101","ee":"https://doi.org/10.1145/239098.239101","url":"https://dblp.org/rec/conf/sigsoft/Petroski96"}, "url":"URL#6701575" }, { "@score":"1", "@id":"6701582", "info":{"authors":{"author":{"@pid":"71/4176","text":"Eberhardt Rechtin"}},"title":"Software Systems Architecting (Abstract).","venue":"SIGSOFT FSE","pages":"1","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/Rechtin96","doi":"10.1145/239098.239102","ee":"https://doi.org/10.1145/239098.239102","url":"https://dblp.org/rec/conf/sigsoft/Rechtin96"}, "url":"URL#6701582" }, { "@score":"1", "@id":"6701586", "info":{"authors":{"author":[{"@pid":"r/DSRosenblum","text":"David S. Rosenblum"},{"@pid":"55/1672","text":"Elaine J. Weyuker"}]},"title":"Predicting the Cost-Effectiveness of Regression Testing Strategies.","venue":"SIGSOFT FSE","pages":"118-126","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/RosenblumW96","doi":"10.1145/239098.239118","ee":"https://doi.org/10.1145/239098.239118","url":"https://dblp.org/rec/conf/sigsoft/RosenblumW96"}, "url":"URL#6701586" }, { "@score":"1", "@id":"6701588", "info":{"authors":{"author":[{"@pid":"17/928","text":"Linda M. Seiter"},{"@pid":"p/JPalsberg","text":"Jens Palsberg"},{"@pid":"l/KJLieberherr","text":"Karl J. Lieberherr"}]},"title":"Evolution of Object Behavior Using Context Relations.","venue":"SIGSOFT FSE","pages":"46-57","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/SeiterPL96","doi":"10.1145/239098.239108","ee":"https://doi.org/10.1145/239098.239108","url":"https://dblp.org/rec/conf/sigsoft/SeiterPL96"}, "url":"URL#6701588" }, { "@score":"1", "@id":"6701590", "info":{"authors":{"author":[{"@pid":"56/995","text":"Michael Siff"},{"@pid":"r/TWReps","text":"Thomas W. Reps"}]},"title":"Program Generalization for Software Reuse: From C to C++.","venue":"SIGSOFT FSE","pages":"135-146","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/SiffR96","doi":"10.1145/239098.239121","ee":"https://doi.org/10.1145/239098.239121","url":"https://dblp.org/rec/conf/sigsoft/SiffR96"}, "url":"URL#6701590" }, { "@score":"1", "@id":"6701595", "info":{"authors":{"author":[{"@pid":"v/MichaelVanHilst","text":"Michael VanHilst"},{"@pid":"n/DavidNotkin","text":"David Notkin"}]},"title":"Decoupling Change from Design.","venue":"SIGSOFT FSE","pages":"58-69","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/VanHilstN96","doi":"10.1145/239098.239109","ee":"https://doi.org/10.1145/239098.239109","url":"https://dblp.org/rec/conf/sigsoft/VanHilstN96"}, "url":"URL#6701595" }, { "@score":"1", "@id":"6701600", "info":{"authors":{"author":[{"@pid":"75/155","text":"Sean Zhang"},{"@pid":"r/BarbaraGRyder","text":"Barbara G. Ryder"},{"@pid":"92/1701","text":"William Landi"}]},"title":"Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.","venue":"SIGSOFT FSE","pages":"81-92","year":"1996","type":"Conference and Workshop Papers","access":"closed","key":"conf/sigsoft/ZhangRL96","doi":"10.1145/239098.239112","ee":"https://doi.org/10.1145/239098.239112","url":"https://dblp.org/rec/conf/sigsoft/ZhangRL96"}, "url":"URL#6701600" }, { "@score":"1", "@id":"6704983", "info":{"authors":{"author":{"@pid":"01/2201","text":"David Garlan"}},"title":"Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996","venue":"SIGSOFT FSE","publisher":"ACM","year":"1996","type":"Editorship","key":"conf/sigsoft/1996","doi":"10.1145/239098","ee":"https://doi.org/10.1145/239098","url":"https://dblp.org/rec/conf/sigsoft/1996"}, "url":"URL#6704983" } ] } } } )