Proceedings of the 13th IEEE Conference on Automated Software Engineering
ASE, 1998.

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

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

Contents (44 items)

11 ×#automation
7 ×#testing
5 ×#generative
5 ×#specification
5 ×#verification
4 ×#approach
4 ×#modelling
4 ×#using
3 ×#analysis
3 ×#architecture

ASE-1998-MorzentiPM #analysis #automation #composition #specification

A Tool for Automated System Analysis based on Modular Specifications (AM, PSP, SM), pp. 2–11.

ASE-1998-WielsE #category theory #evolution #specification #using

Management of Evolving Specifications using Category Theory (VW, SME), pp. 12–21.

ASE-1998-ReyesR #ada #encapsulation #testing

Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.

ASE-1998-Ledru #identification #proving #theorem proving

Identifying Pre-Conditions with the Z/EVES Theorem Prover (YL), p. 32–?.

ASE-1998-MonroyBG #equation #verification

Planning Equational Verification in CCS (RM, AB, IG), pp. 43–52.

ASE-1998-OHalloranS #exclamation #verification

Don’t Verify, Abstract! (CO, AS), pp. 53–62.

ASE-1998-JacobsenK #adaptation #approach #design pattern #generative

A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL (HAJ, BJK), p. 63–?.

ASE-1998-Fischer #component #library

Specification-based Browsing of Software Component Libraries (BF), pp. 74–83.

ASE-1998-MaoSL #case study #machine learning #reuse #usability #using #verification

Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study (YM, HAS, HL), pp. 84–93.

ASE-1998-GannodCC #approach #automation #reuse #reverse engineering

An Automated Approach for Supporting Software Reuse via Reverse Engineering (GCG, YC, BHCC), p. 94–?.

ASE-1998-McCluskeyW #automation #debugging #maintenance #modelling #requirements #towards

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models (TLM, MMW), pp. 105–114.

ASE-1998-Hall #generative #modelling

Explanation-based Scenario Generation for Reactive System Models (RJH), pp. 115–124.

ASE-1998-CzernyH #analysis #automation #requirements

Automated Integrative Analysis of State-based Requirements (BJC, MPEH), p. 125–?.

ASE-1998-MichaelM #automation #generative #source code #testing

Automated Software Test Data Generation for Complex Programs (CCM, GM), pp. 136–146.

ASE-1998-McDonaldHS #library #standard #testing

Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.

ASE-1998-Andrews #analysis #testing #tool support #using

Testing using Log File Analysis: Tools, Methods, and Issues (JHA), p. 157–?.

ASE-1998-FlenerZH #constraints #logic programming #source code #synthesis

Schema-Guided Synthesis of Constraint Logic Programs (PF, HZ, BH), pp. 168–176.

ASE-1998-StirewaltR #automation #composition #generative #user interface

Automating UI Generation by Model Composition (KS, SR), p. 177–?.

ASE-1998-GoedickeMP #architecture #consistency #design #detection #evaluation #nondeterminism #on the #performance

On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation (MG, TM, CP), pp. 188–191.

ASE-1998-LeueMR #architecture #sequence chart #specification

Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.

ASE-1998-GaryLKD #component #process

Component-based Software Process Support (KG, TEL, HK, JCD), pp. 196–199.

ASE-1998-MichailN #approach #library #object-oriented #reuse

Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach (AM, DN), pp. 200–203.

ASE-1998-ClaytonRW #framework #named

Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts (RC, SR, LMW), p. 204–?.

ASE-1998-PaigeO #eiffel

From Z to BON/Eiffel (RFP, JSO), pp. 209–212.

ASE-1998-LeePL #detection

Detection of Exclusive OR Global Predicates (EL, CP, DL), pp. 213–216.

ASE-1998-GilE #design

Statically Checkable Design Level Traits (JYG, YE), pp. 217–220.

ASE-1998-Dimitrakos #algebra #diagrams #specification

Parameterising (Algebraic) Specifications on Diagrams (TD), pp. 221–224.

ASE-1998-BernerJGA #concept #modelling #visualisation

A Visualization Concept for Hierarchical Object Models (SB, SJ, MG, MA), p. 225–?.

ASE-1998-ErdemJM #comprehension

Task Oriented Software Understanding (AE, WLJ, SM), pp. 230–239.

ASE-1998-BaalenRLP

Explaining Synthesized Software (JVB, PR, MRL, TP), pp. 240–248.

ASE-1998-TemplerJ #automation #c #configuration management

A Configurable Automatic Instrumentation Tool for ANSI C (KT, CLJ), p. 249–?.

ASE-1998-HaebererM #architecture #concept #development #idea #paradigm

The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm (AMH, TSEM), pp. 260–271.

ASE-1998-BlaineGLSW #named #synthesis

Planware — Domain-Specific Synthesis of High-Performance Schedulers (LB, LG, JL, DRS, SJW), p. 270–?.

ASE-1998-MillerM

ASSISTing Exit Decisions in Software Inspection (JM, FM), pp. 281–284.

ASE-1998-TraceyCMM #automation #framework #generative #testing

An Automated Framework for Structural Test-Data Generation (NT, JAC, KM, JAM), pp. 285–288.

ASE-1998-ChangR #automation #named #testing

ADLscope: An Automated Specification-based Unit Testing Tool (JC, DJR), pp. 289–292.

ASE-1998-GreenwoodWHH #empirical #evolution

An Empirical Study of the Evolution of a Software System (RMG, BW, RH, PH), pp. 293–296.

ASE-1998-AndreoliFM #approach #coordination #evolution #process #workflow

A Coordination System Approach to Software Workflow Process Evolution (JMA, CF, JLM), p. 297–?.

ASE-1998-HazelST #animation #requirements #specification #using #verification

Requirements Engineering and Verification using Specification Animation (DH, PAS, OT), pp. 302–305.

ASE-1998-BaischL #automation #development #information management

Automated Knowledge Acquisition and Application for Software Development Projects (EB, TL), pp. 306–309.

ASE-1998-Walenstein #comprehension #design #modelling #tool support

Developing the Designer’s Toolkit with Software Comprehension Models (AW), pp. 310–313.

ASE-1998-SellinkV #assessment #development #re-engineering

Development, Assessment, and Reengineering of Language Descriptions (MPAS, CV), pp. 314–317.

ASE-1998-HarmerB #automation #empirical #java #legacy #lisp #reverse engineering

Brewing Fresh JAVA from Legacy Lisp — An Experiment in Automated Reverse Engineering (TJH, JMB), pp. 318–332.

ASE-1998-LowryBK #empirical #integration #testing #towards #verification

Towards a Theory for Integration of Mathematical Verification and Empirical Testing (MRL, MB, DK), p. 322–?.