Proceedings of the 14th IEEE International Conference on Automated Software Engineering
ASE, 1999.

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

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

Contents (50 items)

14 ×#automation
8 ×#architecture
6 ×#named
6 ×#synthesis
6 ×#testing
6 ×#verification
5 ×#component
5 ×#generative
4 ×#modelling
4 ×#using

ASE-1999-CopenhaferS #component #interactive

Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties (MAC, KJS), pp. 7–14.

ASE-1999-MartinsD #approach #elicitation #process #requirements #using

An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory (LEGM, BMD), pp. 15–23.

ASE-1999-Michail #data mining #library #mining #reuse

Data Mining Library Reuse Patterns in User-Selected Applications (AM), p. 24–?.

ASE-1999-WilliamsonH #category theory #industrial #synthesis

Industrial Applications of Software Synthesis via Category Theory (KEW, MH), pp. 35–43.

ASE-1999-StarkI #automation #imperative #proving #synthesis #theorem proving #towards

Towards Automatic Imperative Program Synthesis Through Proof Planning (JS, AI), pp. 44–51.

ASE-1999-FischerW #deduction #integration #retrieval #synthesis

An Integration of Deductive Retrieval into Deductive Synthesis (BF, JW), p. 52–?.

ASE-1999-FeatherS #automation #generative #testing

Automatic Generation of Test Oracles-From Pilot Studies to Application (MSF, BDS), pp. 63–72.

ASE-1999-BesseCL #automation #generative #protocol #testing

An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol (CB, ARC, DL), pp. 73–80.

ASE-1999-ReyesR #generative #named

Siddhartha: A Method for Developing Domain-Specific Test Driver Generators (AAR, DJR), p. 81–?.

ASE-1999-Saidi #analysis #composition #concurrent #incremental

Modular and Incremental Analysis of Concurrent Software Systems (HS), pp. 92–101.

ASE-1999-Bose #architecture #automation #modelling #simulation #uml #using #verification

Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN (PKB), pp. 102–109.

ASE-1999-GoualardB #constraints #debugging #visualisation

A Visualization Tool for Constraint Program Debugging (FG, FB), p. 110–?.

ASE-1999-Pecheur #clustering #file system #modelling #verification

Advanced Modelling and Verification Techniques Applied to a Cluster File System (CP), pp. 119–126.

ASE-1999-OHalloranS #verification

Verification of Picture Generated Code (CO, AS), pp. 127–136.

ASE-1999-MiliCXA #fault tolerance

Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model (AM, BC, TX, RBA), p. 137–?.

ASE-1999-Biggerstaff #problem

Fixing Some Transformation Problems (TJB), pp. 148–157.

ASE-1999-PoppletonB #named #refinement

Retrenchment: Extending the Reach of Refinement (MP, RB), pp. 158–165.

ASE-1999-WhittleBBL #editing #ml

An ML Editor Based on Proofs-As-Programs (JW, AB, RJB, HL), pp. 166–173.

ASE-1999-TokudaB #design #evolution #object-oriented #refactoring

Evolving Object-Oriented Designs with Refactorings (LT, DSB), p. 174–?.

ASE-1999-Wile #architecture #metalanguage #named

AML: An Architecture Meta-Language (DSW), pp. 183–190.

ASE-1999-EgyedG #automation #component #detection #development #modelling

Automatically Detecting Mismatches During Component-based and Model-based Development (AE, CG), pp. 191–198.

ASE-1999-Stirewalt #user interface

Separating Concerns in Direct Manipulation User Interfaces (KS), p. 199–?.

ASE-1999-BousquetZ #overview #testing

An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software (LdB, NZ), pp. 208–215.

ASE-1999-Kreuer #automation #case study #network #testing

Applying Test Automation to Type Acceptance Testing of Telecom Networks: A Case Study with Customer Participation (DK), pp. 216–223.

ASE-1999-GuptaMS #evaluation #generative #testing

UNA Based Iterative Test Data Generation and Its Evaluation (NG, APM, MLS), p. 224–?.

ASE-1999-KyaruziK #architecture #component #constraints

Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties (JJK, JvK), pp. 235–242.

ASE-1999-SteinHR

Enhancing Annotation Visibility for Software Inspection (MS, MPEH, JR), pp. 243–246.

ASE-1999-Tronci #automation #industrial #synthesis

Automatic Synthesis of Control Software for an Industrial Automation Control System (ET), pp. 247–250.

ASE-1999-MaleticV #analysis #automation #clustering #semantics

Automatic Software Clustering via Latent Semantic Analysis (JIM, NV), pp. 251–254.

ASE-1999-LiliusP #modelling #named #uml #verification

vUML: A Tool for Verifying UML Models (JL, IP), pp. 255–258.

ASE-1999-WeltyF #architecture #documentation #ontology #using

A Formal Ontology for Re-Use of Software Architecture Documents (CAW, DAF), pp. 259–262.

ASE-1999-CazzolaSST #architecture #behaviour #rule-based

Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level (WC, AS, AS, FT), pp. 263–266.

ASE-1999-EmersonB #constraints #development #specification #synthesis

Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications (TE, MHB), pp. 267–270.

ASE-1999-BecksK #automation

Automatically Structuring Textual Requirement Scenarios (AB, JK), pp. 271–274.

ASE-1999-HoJGP #framework #named #uml

UMLAUT: An Extendible UML Transformation Framework (WMH, JMJ, ALG, FP), pp. 275–278.

ASE-1999-Krustev #generative #refinement #testing #using

Software Test Generation Using Refinement Types (DNK), pp. 279–282.

ASE-1999-FedeleK #automation #proving

Automatic Proofs of Properties of Simple C-- Modules (CF, EK), pp. 283–286.

ASE-1999-TaentzerGM #architecture #automation #distributed

Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems (GT, MG, TM), pp. 287–290.

ASE-1999-WatersRA #architecture #concept analysis #using

Architectural Element Matching Using Concept Analysis (RW, SR, GDA), pp. 291–294.

ASE-1999-FuchsST #first-order #logic #natural language

Controlled Natural Language Can Replace First-Order Logic (NEF, US, ST), pp. 295–298.

ASE-1999-DevulderL #case study #comparative #linear #programming #validation #verification

A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods (SD, JLL), pp. 299–302.

ASE-1999-HendersonW #component #design #validation

Component-based Systems as an Aid to Design Validation (PH, RJW), pp. 303–306.

ASE-1999-MiceliSG #design #detection #metric

A Metric Based Technique for Design Flaws Detection and Correction (TM, HAS, RG), pp. 307–310.

ASE-1999-Penix99a #architecture #deduction #synthesis

Deductive Synthesis of Event-Based Software Architectures (JP), pp. 311–314.

ASE-1999-WhalenH #approach #automation #code generation #safety

An Approach to Automatic Code Generation for Safety-Critical Systems (MWW, MPEH), pp. 315–318.

ASE-1999-Brackin #analysis #automation #effectiveness #encryption #implementation #protocol

Implementing Effective Automatic Cryptographic Protocol Analysis (SHB), pp. 319–322.

ASE-1999-LingamarlaSLWEG #automation #embedded #multi #validation

System for Automated Validation of Embedded Software in Multiple Operating Configurations (SL, GBS, JL, MW, GE, SG), pp. 323–326.

ASE-1999-BoseM #adaptation #coordination #named

NAVCo: Negotiation-based Adaptive View Coordination (PKB, MGM), pp. 327–330.

ASE-1999-LiuR #component #specification #towards #verification

Towards Discovery, Specification, and Verification of Component Usage (CL, DJR), pp. 331–334.

ASE-1999-MurdockG #adaptation #towards #web

Towards Adaptive Web Agents (JWM, AKG), pp. 335–338.