Proceedings of the 12th International Conference on Automated Software Engineering
ASE, 1997.

@proceedings{ASE-1997,
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 12th International Conference on Automated Software Engineering}",
	year          = 1997,
}

Event page: http://www.ase-conferences.org/ase/past/ase97/

Contents (47 items)

11 ×#automation
9 ×#specification
7 ×#source code
5 ×#architecture
5 ×#using
4 ×#approach
4 ×#component
4 ×#distributed
4 ×#reuse
4 ×#verification

ASE-1997-ArmandoSG #automation #paradigm #recursion #source code #synthesis

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm (AA, AS, IG), pp. 2–9.

ASE-1997-Caldwell

Moving Proofs-As-Programs into Practice (JLC), pp. 10–17.

ASE-1997-SrivastavaKM #approach #specification

A Structured Approach for Synthesizing Planners from Specifications (BS, SK, ADM), pp. 18–27.

ASE-1997-Sucrow #graph grammar #human-computer #interactive #specification

Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources (BS), pp. 28–35.

ASE-1997-AmbriolaG #natural language #requirements

Processing Natural Language Requirements (VA, VG), pp. 36–45.

ASE-1997-Henninger #development #evolution #tool support

Tools Supporting the Creation and Evolution of Software Development Knowledge (SH), p. 46–?.

ASE-1997-GoguenLMRS #distributed #formal method #tool support

Distributed Cooperative Formal Methods Tools (JAG, KL, AM, GR, AS), pp. 55–62.

ASE-1997-Pecheur #distributed #specification #using #verification

Specification and Verification of the Co4 Distributed Knowledge System using LOTOS (CP), pp. 63–70.

ASE-1997-FenselS #architecture #knowledge-based #using #verification

Using KIV to Specify and Verify Architectures of Knowledge-Based Systems (DF, AS), p. 71–?.

ASE-1997-GirardKS #approach #data type #detection

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations (JFG, RK, GS), pp. 82–89.

ASE-1997-CohenF #abstraction #automation #database #re-engineering #source code

Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction (YC, YAF), pp. 90–97.

ASE-1997-SwardH #imperative #legacy

Extracting Objects from Legacy Imperative Code (RRS, TCH), p. 98–?.

ASE-1997-DimitrakosM #refinement

Notes on Refinement, Interpolation and Uniformity (TD, TSEM), pp. 108–116.

ASE-1997-PautlerWQ #simulation #specification

Exploiting Domain-Specific Knowledge to Refine Simulation Specifications (DP, SW, AQ), p. 117–?.

ASE-1997-Welty #abstract syntax tree #comprehension #syntax

Augmenting Abstract Syntax Trees for Program Understanding (CAW), pp. 126–133.

ASE-1997-Ameur #comprehension #program analysis #source code

A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs (YAA), pp. 134–142.

ASE-1997-EdenYG #automation #design pattern #precise #specification

Precise Specification and Automatic Application of Design Patterns (AHE, AY, JYG), pp. 143–152.

ASE-1997-FlenerLO #source code #synthesis

Correct-Schema-Guided Synthesis of Steadfast Programs (PF, KKL, MO), p. 153–?.

ASE-1997-BlazyF #development #formal method #maintenance

Application of Formal Methods to the Development of a Software Maintenance Tool (SB, PF), pp. 162–171.

ASE-1997-Lerner #automation #evolution #named #persistent

TESS: Automated Support for the Evolution of Persistent Types (BSL), p. 172–?.

ASE-1997-MarletTC #architecture #implementation #partial evaluation #performance

Mapping Software Architectures to Efficient Implementations via Partial Evaluation (RM, ST, CC), pp. 183–192.

ASE-1997-GomaaF #architecture #automation #distributed #reuse

Automated Configuration of Distributed Applications from Reusable Software Architectures (HG, GAF), pp. 193–200.

ASE-1997-PenixAH #architecture #declarative #specification

Declarative Specification of Software Architectures (JP, PA, KH), p. 201–?.

ASE-1997-SahraouiMLD #concept #identification

Applying Concept Formation Methods to Object Identification in Procedural Code (HAS, WLM, HL, FD), pp. 210–218.

ASE-1997-GannodC #approach #automation #pointer #reverse engineering #source code

A Formal Automated Approach for Reverse Engineering Programs with Pointers (GCG, BHCC), pp. 219–226.

ASE-1997-HarrisonB #analysis #data flow #design #information management

Data Flow Analysis within the ITOC Information System Design Recovery Tool (JVH, AB), p. 227–?.

ASE-1997-ChenC #approach #architecture #automation #reuse

Facilitating an Automated Approach to Architecture-based Software Reuse (YC, BHCC), pp. 238–245.

ASE-1997-SchumannF #component #named #retrieval

NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical (JS, BF), pp. 246–254.

ASE-1997-JilaniDFMM #adaptation #component

Retrieving Software Components that Minimize Adaptation Effort (LLJ, JD, MF, RM, AM), p. 255–?.

ASE-1997-Dwyer #analysis #composition #concurrent

Modular Flow Analysis for Concurrent Software (MBD), pp. 264–273.

ASE-1997-DevanbuS #automation #hardware #research #using #verification

Research Directions for Automated Software Verification: Using Trusted Hardware (PTD, SGS), pp. 274–279.

ASE-1997-MaharajB #on the #refinement #specification #verification

On the Verification of VDM Specification and Refinement with PVS (SM, JB), p. 280–?.

ASE-1997-Birk #modelling #re-engineering

Modeling the Application Domains of Software Engineering Technologies (AB), pp. 291–292.

ASE-1997-Faison #component #development #interactive

Interactive Component-Based Software Development with Espresso (TF), pp. 293–294.

ASE-1997-FranceEG #automation #object-oriented #semantics #tool support #towards

Towards Semantic-Based Object-Oriented CASE Tools (RBF, MPE, ESG), pp. 295–296.

ASE-1997-Gaugne #comprehension #debugging #static analysis

A Static Analysis for Program Understanding and Debugging (RG), pp. 297–298.

ASE-1997-Hall #automation #library #reasoning #using #validation

Reactive System Validation using Automated Reasoning over a Fragment Library (RJH), pp. 299–300.

ASE-1997-KrappW #feedback

Feedback Handling in Dynamic Task Nets (CAK, BW), pp. 301–302.

ASE-1997-LamJ #analysis #requirements #reuse

Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology (WL, SJ), pp. 303–304.

ASE-1997-MatskinT #source code #synthesis

Strategies of Structural Synthesis of Programs (MM, ET), pp. 305–306.

ASE-1997-MichaelMSW #algorithm #generative #search-based #testing

Genetic Algorithms for Dynamic Test Data Generation (CCM, GM, MS, CCW), pp. 307–308.

ASE-1997-PunshonTSF #case study #natural language #specification

From Formal Specifications to Natural Language: A Case Study (JMP, JPT, PGS, PSF), pp. 309–310.

ASE-1997-SetliffSM #design #distributed #embedded #towards

Towards a Design Assistant for Distributed Embedded Systems (DES, JKS, JAM), pp. 311–312.

ASE-1997-Tan #component #data-driven #interface #reuse #source code #usability

Enhancing the Component Reusability in Data-Intensive Business Programs through Interface Separation (HBKT), pp. 313–314.

ASE-1997-WangPS #automation #c++ #inheritance #object-oriented #testing

An Automated Object-Oriented Testing for C++ Inheritance Hierarchy (CCW, WCP, TKS), pp. 315–316.

ASE-1997-WilliamsonH #design #specification

Formally Specifying Engineering Design Rationale (KEW, MH), pp. 317–318.

ASE-1997-Yamaguchi #modelling #ontology #process #using

Modeling Software Processes by using Process and Object Ontologies (TY), pp. 319–320.