ASE 1998
44 papers
- A Configurable Automatic Instrumentation Tool for ANSI C
- A Coordination System Approach to Software Workflow Process Evolution
- A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL
- A Tool for Automated System Analysis based on Modular Specifications
- A Visualization Concept for Hierarchical Object Models
- ADLscope: An Automated Specification-based Unit Testing Tool
- ASSISTing Exit Decisions in Software Inspection
- An Automated Approach for Supporting Software Reuse via Reverse Engineering
- An Automated Framework for Structural Test-Data Generation
- An Empirical Study of the Evolution of a Software System
- Automated Integrative Analysis of State-based Requirements
- Automated Knowledge Acquisition and Application for Software Development Projects
- Automated Software Test Data Generation for Complex Programs
- Automating UI Generation by Model Composition
- Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering
- Component-based Software Process Support
- Detection of Exclusive OR Global Predicates
- Developing the Designer's Toolkit with Software Comprehension Models
- Development, Assessment, and Reengineering of Language Descriptions
- Don't Verify, Abstract!
- Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts
- Explaining Synthesized Software
- Explanation-based Scenario Generation for Reactive System Models
- From Z to BON/Eiffel
- Identifying Pre-Conditions with the Z/EVES Theorem Prover
- Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach
- Management of Evolving Specifications using Category Theory
- On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation
- Parameterising (Algebraic) Specifications on Diagrams
- Planning Equational Verification in CCS
- Planware - Domain-Specific Synthesis of High-Performance Schedulers
- Programmatic Testing of the Standard Template Library Containers
- Requirements Engineering and Verification using Specification Animation
- Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study
- Schema-Guided Synthesis of Constraint Logic Programs
- Specification-based Browsing of Software Component Libraries
- Specification-based Testing of Ada Units with Low Encapsulation
- Statically Checkable Design Level Traits
- Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
- Task Oriented Software Understanding
- Testing using Log File Analysis: Tools, Methods, and Issues
- The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm
- Towards a Theory for Integration of Mathematical Verification and Empirical Testing
- Towards the Automated Debugging and Maintenance of Logic-based Requirements Models