Abstract is missing.
- Automatic Synthesis of Recursive Programs: The Proof-Planning ParadigmAlessandro Armando, Alan Smaill, Ian Green. 2-9 [doi]
- Moving Proofs-As-Programs into PracticeJames L. Caldwell. 10-17 [doi]
- A Structured Approach for Synthesizing Planners from SpecificationsBiplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali. 18-27 [doi]
- Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information ResourcesBettina Sucrow. 28-35 [doi]
- Processing Natural Language RequirementsVincenzo Ambriola, Vincenzo Gervasi. 36-45 [doi]
- Tools Supporting the Creation and Evolution of Software Development KnowledgeScott Henninger. 46 [doi]
- Distributed Cooperative Formal Methods ToolsJoseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato. 55-62 [doi]
- Specification and Verification of the Co4 Distributed Knowledge System using LOTOSCharles Pecheur. 63-70 [doi]
- Using KIV to Specify and Verify Architectures of Knowledge-Based SystemsDieter Fensel, Arno Schönegge. 71 [doi]
- A Metric-based Approach to Detect Abstract Data Types and State EncapsulationsJean-Francois Girard, Rainer Koschke, Georg Schied. 82-89 [doi]
- Extracting Objects from Legacy Imperative CodeR. R. Sward, Thomas C. Hartrum. 98 [doi]
- Notes on Refinement, Interpolation and UniformityTheodosis Dimitrakos, T. S. E. Maibaum. 108-116 [doi]
- Exploiting Domain-Specific Knowledge to Refine Simulation SpecificationsDavid Pautler, Steven Woods, Alex Quilici. 117 [doi]
- Augmenting Abstract Syntax Trees for Program UnderstandingChristopher A. Welty. 126-133 [doi]
- A Contribution to Program Comprehension by Program Analysis: Application to Numerical ProgramsYamine Aït Ameur. 134-142 [doi]
- Precise Specification and Automatic Application of Design PatternsAmnon H. Eden, Amiram Yehudai, Joseph Gil. 143-152 [doi]
- Correct-Schema-Guided Synthesis of Steadfast ProgramsPierre Flener, Kung-Kiu Lau, Mario Ornaghi. 153 [doi]
- Application of Formal Methods to the Development of a Software Maintenance ToolSandrine Blazy, Philippe Facon. 162-171 [doi]
- TESS: Automated Support for the Evolution of Persistent TypesBarbara Staudt Lerner. 172 [doi]
- Mapping Software Architectures to Efficient Implementations via Partial EvaluationRenaud Marlet, Scott Thibault, Charles Consel. 183-192 [doi]
- Automated Configuration of Distributed Applications from Reusable Software ArchitecturesHassan Gomaa, Ghulam A. Farrukh. 193-200 [doi]
- Declarative Specification of Software ArchitecturesJohn Penix, Perry Alexander, Klaus Havelund. 201 [doi]
- Applying Concept Formation Methods to Object Identification in Procedural CodeHouari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont. 210-218 [doi]
- A Formal Automated Approach for Reverse Engineering Programs with PointersGerald C. Gannod, Betty H. C. Cheng. 219-226 [doi]
- Data Flow Analysis within the ITOC Information System Design Recovery ToolJohn V. Harrison, Anthony Berglas. 227 [doi]
- Facilitating an Automated Approach to Architecture-based Software ReuseYonghao Chen, Betty H. C. Cheng. 238-245 [doi]
- NORA/HAMMR: Making Deduction-Based Software Component Retrieval PracticalJohann Schumann, Bernd Fischer. 246-254 [doi]
- Retrieving Software Components that Minimize Adaptation EffortLamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili. 255 [doi]
- Modular Flow Analysis for Concurrent SoftwareMatthew B. Dwyer. 264-273 [doi]
- Research Directions for Automated Software Verification: Using Trusted HardwarePremkumar T. Devanbu, Stuart G. Stubblebine. 274-279 [doi]
- On the Verification of VDM Specification and Refinement with PVSSavi Maharaj, Juan Bicarregui. 280 [doi]
- Modeling the Application Domains of Software Engineering TechnologiesAndreas Birk. 291-292 [doi]
- Towards Semantic-Based Object-Oriented CASE ToolsRobert B. France, Matthew P. Evett, Emanuel S. Grant. 295-296 [doi]
- Reactive System Validation using Automated Reasoning over a Fragment LibraryRobert J. Hall. 299-300 [doi]
- Feedback Handling in Dynamic Task NetsCarl-Arndt Krapp, Bernhard Westfechtel. 301-302 [doi]
- Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis TechnologyW. Lam, S. Jones. 303-304 [doi]
- Strategies of Structural Synthesis of ProgramsMihhail Matskin, Enn Tyugu. 305-306 [doi]
- Genetic Algorithms for Dynamic Test Data GenerationChristoph C. Michael, Gary McGraw, Michael Schatz, C. C. Walton. 307-308 [doi]
- From Formal Specifications to Natural Language: A Case StudyJ. M. Punshon, J. Paul Tremblay, Paul G. Sorenson, P. S. Findeisen. 309-310 [doi]
- Towards a Design Assistant for Distributed Embedded SystemsDorothy E. Setliff, Jay K. Strosnider, Jose A. Madriz. 311-312 [doi]
- Enhancing the Component Reusability in Data-Intensive Business Programs through Interface SeparationHee Beng Kuan Tan. 313-314 [doi]
- An Automated Object-Oriented Testing for C++ Inheritance HierarchyChun-Chia Wang, Wen C. Pai, Timothy K. Shih. 315-316 [doi]
- Formally Specifying Engineering Design RationaleKeith E. Williamson, Michael Healy. 317-318 [doi]
- Modeling Software Processes by using Process and Object OntologiesT. Yamaguchi. 319-320 [doi]