Conferences in DBLP
Alessandro Armando , Alan Smaill , Ian Green Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] James L. Caldwell Moving Proofs-As-Programs into Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Biplav Srivastava , Subbarao Kambhampati , Amol Dattatraya Mali A Structured Approach for Synthesizing Planners from Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Bettina Sucrow Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Ambriola , Vincenzo Gervasi Processing Natural Language Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Henninger Tools Supporting the Creation and Evolution of Software Development Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , Kai Lin , A. Mori , Grigore Rosu , A. Sato Distributed Cooperative Formal Methods Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Pecheur Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Fensel , Arno Schönegge Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Girard , Rainer Koschke , Georg Schied A Metric-based Approach to Detect Abstract Data Types and State Encapsulations. [Citation Graph (0, 0)][DBLP ] Conf ] Yossi Cohen , Yishai A. Feldman Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] R. R. Sward , Thomas C. Hartrum Extracting Objects from Legacy Imperative Code. [Citation Graph (0, 0)][DBLP ] Conf ] Theodosis Dimitrakos , T. S. E. Maibaum Notes on Refinement, Interpolation and Uniformity. [Citation Graph (0, 0)][DBLP ] Conf ] David Pautler , Steven Woods , Alex Quilici Exploiting Domain-Specific Knowledge to Refine Simulation Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher A. Welty Augmenting Abstract Syntax Trees for Program Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Yamine Aït Ameur A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Amnon H. Eden , Amiram Yehudai , Joseph Gil Precise Specification and Automatic Application of Design Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Flener , Kung-Kiu Lau , Mario Ornaghi Correct-Schema-Guided Synthesis of Steadfast Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sandrine Blazy , Philippe Facon Application of Formal Methods to the Development of a Software Maintenance Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Staudt Lerner TESS: Automated Support for the Evolution of Persistent Types. [Citation Graph (0, 0)][DBLP ] Conf ] Renaud Marlet , Scott Thibault , Charles Consel Mapping Software Architectures to Efficient Implementations via Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Gomaa , Ghulam A. Farrukh Automated Configuration of Distributed Applications from Reusable Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] John Penix , Perry Alexander , Klaus Havelund Declarative Specification of Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Houari A. Sahraoui , Walcélio L. Melo , Hakim Lounis , F. Dumont Applying Concept Formation Methods to Object Identification in Procedural Code. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald C. Gannod , Betty H. C. Cheng A Formal Automated Approach for Reverse Engineering Programs with Pointers. [Citation Graph (0, 0)][DBLP ] Conf ] John V. Harrison , Anthony Berglas Data Flow Analysis within the ITOC Information System Design Recovery Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Yonghao Chen , Betty H. C. Cheng Facilitating an Automated Approach to Architecture-based Software Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Schumann , Bernd Fischer NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. [Citation Graph (0, 0)][DBLP ] Conf ] Lamia Labed Jilani , Jules Desharnais , Marc Frappier , Rym Mili , Ali Mili Retrieving Software Components that Minimize Adaptation Effort. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew B. Dwyer Modular Flow Analysis for Concurrent Software. [Citation Graph (0, 0)][DBLP ] Conf ] Premkumar T. Devanbu , Stuart G. Stubblebine Research Directions for Automated Software Verification: Using Trusted Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Savi Maharaj , Juan Bicarregui On the Verification of VDM Specification and Refinement with PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Birk Modeling the Application Domains of Software Engineering Technologies. [Citation Graph (0, 0)][DBLP ] Conf ] T. Faison Interactive Component-Based Software Development with Espresso. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. France , Matthew P. Evett , Emanuel S. Grant Towards Semantic-Based Object-Oriented CASE Tools. [Citation Graph (0, 0)][DBLP ] Conf ] R. Gaugne A Static Analysis for Program Understanding and Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Hall Reactive System Validation using Automated Reasoning over a Fragment Library. [Citation Graph (0, 0)][DBLP ] Conf ] Carl-Arndt Krapp , Bernhard Westfechtel Feedback Handling in Dynamic Task Nets. [Citation Graph (0, 0)][DBLP ] Conf ] W. Lam , S. Jones Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Mihhail Matskin , Enn Tyugu Strategies of Structural Synthesis of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph C. Michael , Gary McGraw , Michael Schatz , C. C. Walton Genetic Algorithms for Dynamic Test Data Generation. [Citation Graph (0, 0)][DBLP ] Conf ] J. M. Punshon , J. Paul Tremblay , Paul G. Sorenson , P. S. Findeisen From Formal Specifications to Natural Language: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Dorothy E. Setliff , Jay K. Strosnider , Jose A. Madriz Towards a Design Assistant for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hee Beng Kuan Tan Enhancing the Component Reusability in Data-Intensive Business Programs through Interface Separation. [Citation Graph (0, 0)][DBLP ] Conf ] Chun-Chia Wang , Wen C. Pai , Timothy K. Shih An Automated Object-Oriented Testing for C++ Inheritance Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Keith E. Williamson , Michael Healy Formally Specifying Engineering Design Rationale. [Citation Graph (0, 0)][DBLP ] Conf ] T. Yamaguchi Modeling Software Processes by using Process and Object Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] 