ASE 1999
52 papers
- A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods
- A Formal Ontology for Re-Use of Software Architecture Documents
- A Metric Based Technique for Design Flaws Detection and Correction
- A Visualization Tool for Constraint Program Debugging
- AML: An Architecture Meta-Language
- Advanced Modelling and Verification Techniques Applied to a Cluster File System
- An Approach to Automatic Code Generation for Safety-Critical Systems
- An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory
- An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol
- An Integration of Deductive Retrieval into Deductive Synthesis
- An ML Editor Based on Proofs-As-Programs
- An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software
- Applying Test Automation to Type Acceptance Testing of Telecom Networks: A Case Study with Customer Participation
- Architectural Element Matching Using Concept Analysis
- Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN
- Automatic Generation of Test Oracles-From Pilot Studies to Application
- Automatic Proofs of Properties of Simple C- Modules
- Automatic Software Clustering via Latent Semantic Analysis
- Automatic Synthesis of Control Software for an Industrial Automation Control System
- Automatically Detecting Mismatches During Component-based and Model-based Development
- Automatically Structuring Textual Requirement Scenarios
- Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties
- Can Model Checking Scale to Software? (Panel)
- Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model
- Component-based Systems as an Aid to Design Validation
- Controlled Natural Language Can Replace First-Order Logic
- Data Mining Library Reuse Patterns in User-Selected Applications
- Deductive Synthesis of Event-Based Software Architectures
- Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications
- Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems
- Enhancing Annotation Visibility for Software Inspection
- Evaluation of Automated Software Engineering Systems? (Panel)
- Evolving Object-Oriented Designs with Refactorings
- Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties
- Fixing Some Transformation Problems
- Implementing Effective Automatic Cryptographic Protocol Analysis
- Industrial Applications of Software Synthesis via Category Theory
- Modular and Incremental Analysis of Concurrent Software Systems
- NAVCo: Negotiation-based Adaptive View Coordination
- Retrenchment: Extending the Reach of Refinement
- Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level
- Separating Concerns in Direct Manipulation User Interfaces
- Siddhartha: A Method for Developing Domain-Specific Test Driver Generators
- Software Test Generation Using Refinement Types
- System for Automated Validation of Embedded Software in Multiple Operating Configurations
- Towards Adaptive Web Agents
- Towards Automatic Imperative Program Synthesis Through Proof Planning
- Towards Discovery, Specification, and Verification of Component Usage
- UMLAUT: An Extendible UML Transformation Framework
- UNA Based Iterative Test Data Generation and Its Evaluation
- Verification of Picture Generated Code
- vUML: A Tool for Verifying UML Models