Proceedings of the 13th IEEE 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 13th IEEE Conference on Automated Software Engineering
ASE, 1998.

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

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–?.

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.