Proceedings of the 12th International Conference on Automated Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.