ASE 1997

47 papers

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