default search action
13th ASE 1998: Honolulu, Hawaii, USA
- The Thirteenth IEEE Conference on Automated Software Engineering, ASE 1998, Honolulu, Hawaii, USA, October 13-16, 1998. IEEE Computer Society 1998, ISBN 0-8186-8750-9
Session 1a: Specification
- Angelo Morzenti, Pierluigi San Pietro
, Sandro Morasca:
A Tool for Automated System Analysis based on Modular Specifications. 2-11 - Virginie Wiels, Steve M. Easterbrook:
Management of Evolving Specifications using Category Theory. 12-21 - Arthur Alexander Reyes, Debra J. Richardson:
Specification-based Testing of Ada Units with Low Encapsulation. 22-31 - Yves Ledru:
Identifying Pre-Conditions with the Z/EVES Theorem Prover. 32-
Session 1b: Validation and Verification
- Raúl Monroy
Planning Equational Verification in CCS. 43-52 - Colin O'Halloran, Alf Smith:
Don't Verify, Abstract! 53-62 - Hans-Arno Jacobsen, Bernd J. Krämer:
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. 63- - Michael R. Lowry, M. Boyd, D. Kulkarni:
Towards a Theory for Integration of Mathematical Verification and Empirical Testing. 322-
Session 2b: Reuse
- Bernd Fischer
Specification-based Browsing of Software Component Libraries. 74-83 - Yida Mao, Houari A. Sahraoui, Hakim Lounis:
Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study. 84-93 - Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
An Automated Approach for Supporting Software Reuse via Reverse Engineering. 94-
Session 3b: Requirements
- Thomas Leo McCluskey
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. 105-114 - Robert J. Hall:
Explanation-based Scenario Generation for Reactive System Models. 115-124 - Barbara J. Czerny, Mats Per Erik Heimdahl:
Automated Integrative Analysis of State-based Requirements. 125-
Session 4a: Testing
- Christoph C. Michael, Gary McGraw:
Automated Software Test Data Generation for Complex Programs. 136-146 - Jason McDonald, Daniel Hoffman, Paul A. Strooper:
Programmatic Testing of the Standard Template Library Containers. 147-156 - James H. Andrews:
Testing using Log File Analysis: Tools, Methods, and Issues. 157-
Session 4b: Synthesis
- Pierre Flener, Hamza Zidoum, Brahim Hnich
Schema-Guided Synthesis of Constraint Logic Programs. 168-176 - Kurt Stirewalt, Spencer Rugaber:
Automating UI Generation by Model Composition. 177-
Session 5a: Short Papers
- Michael Goedicke, Torsten Meyer, Christian Piwetz:
On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation. 188-191 - Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi:
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. 192-195 - Kevin Gary, Timothy E. Lindquist, Harry Koehnemann, Jean-Claude Derniame:
Component-based Software Process Support. 196-199 - Amir Michail, David Notkin:
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. 200-203 - Richard Clayton, Spencer Rugaber, Linda M. Wills:
Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts. 204-
Session 5b: Short Papers
- Richard F. Paige, Jonathan S. Ostroff:
From Z to BON/Eiffel. 209-212 - E. Lee, C. Park, D. Lee:
Detection of Exclusive OR Global Predicates. 213-216 - Joseph Gil, Y. Eckel:
Statically Checkable Design Level Traits. 217-220 - Theodosis Dimitrakos
Parameterising (Algebraic) Specifications on Diagrams. 221-224 - Stefan Berner, Stefan Joos, Martin Glinz, Martin Arnold:
A Visualization Concept for Hierarchical Object Models. 225-
Session 6a: Program Understanding and Debugging
- Ali Erdem, W. Lewis Johnson, Stacy Marsella:
Task Oriented Software Understanding. 230-239 - Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger:
Explaining Synthesized Software. 240-248 - Kevin Templer, Clinton L. Jeffery:
A Configurable Automatic Instrumentation Tool for ANSI C. 249-
Session 6b: Synthesis and Development Environments
- Armando Martin Haeberer, T. S. E. Maibaum:
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. 260-271 - Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold:
Planware - Domain-Specific Synthesis of High-Performance Schedulers. 270-
Session 7a: Short Papers
- James Miller, Fraser MacDonald
ASSISTing Exit Decisions in Software Inspection. 281-284 - Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid
An Automated Framework for Structural Test-Data Generation. 285-288 - Juei Chang, Debra J. Richardson:
ADLscope: An Automated Specification-based Unit Testing Tool. 289-292 - Robert Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson:
An Empirical Study of the Evolution of a Software System. 293-296 - Jean-Marc Andreoli, Christer Fernström, Jean-Luc Meunier:
A Coordination System Approach to Software Workflow Process Evolution. 297-
Session 7b: Short Papers
- Daniel Hazel, Paul A. Strooper, Owen Traynor:
Requirements Engineering and Verification using Specification Animation. 302-305 - E. Baisch, T. Liedtke:
Automated Knowledge Acquisition and Application for Software Development Projects. 306-309 - Andrew Walenstein:
Developing the Designer's Toolkit with Software Comprehension Models. 310-313 - M. P. A. Sellink, Chris Verhoef:
Development, Assessment, and Reengineering of Language Descriptions. 314-317 - Terence J. Harmer, James M. Boyle:
Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering. 318-332
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: