15. ASE 2000: Grenoble, France

The Fifteenth IEEE International Conference on Automated Software Engineering (ASE'00), 11-15 September 2000, Grenoble, France, Proceedings. IEEE Computer Society, 2000

Session 1: Verification

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park:
Model Checking Programs. 3-12
Electronic Edition (IEEE Computer Society DL) BibTeX
Sarfraz Khurshid, Daniel Jackson:
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. 13-22
Electronic Edition (IEEE Computer Society DL) BibTeX
Dieter Hutter:
Management of Change in Structured Verification. 23-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 2: Requirements

J. Michael Moore, Frank M. Shipman III:
A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering. 35-44
Electronic Edition (IEEE Computer Society DL) BibTeX
H. M. Harmain, Robert J. Gaizauskas:
CM-Builder: An Automated NL-Based CASE Tool. 45-54
Electronic Edition (IEEE Computer Society DL) BibTeX
Renaud Lecoeuche:
Finding Comparatively Important Concepts between Texts. 55-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 3: Evolution

Robert J. Hall:
Upgrading Legacy Instances of Reactive Systems. 63-72
Electronic Edition (IEEE Computer Society DL) BibTeX
Guido Malpohl, James J. Hunt, Walter F. Tichy:
Renaming Detection. 73-80
Electronic Edition (IEEE Computer Society DL) BibTeX
Paul E. Black, Vadim Okun, Yaacov Yesha:
Mutation Operators for Specifications. 81-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 4: Synthesis and Code Generation

Raul Monroy:
The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures. 91-100
Electronic Edition (IEEE Computer Society DL) BibTeX
Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller:
A DSL Approach to Improve Productivity and Safety in Device Drivers Development. 101-110
Electronic Edition (IEEE Computer Society DL) BibTeX
Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel:
A Declarative Approach for Designing and Developing Adaptive Components. 111-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 5: Algebraic Specification

Joseph A. Goguen, Kai Lin, Grigore Rosu:
Circular Coinductive Rewriting. 123-132
Electronic Edition (IEEE Computer Society DL) BibTeX
W. Martin, P. White, F. S. Taylor, A. Goldberg:
Formal Construction of the Mathematically Analyzed Separation Kernel. 133-142
Electronic Edition (IEEE Computer Society DL) BibTeX
Adel Bouhoula:
Simultaneous Checking of Completeness and Ground Confluence. 143-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 6: Process

Alexander E. Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr.:
Using Little-JIL to Coordinate Agents in Software Engineering. 155-164
Electronic Edition (IEEE Computer Society DL) BibTeX
Tim Menzies, Erik Sinsel:
Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment. 165-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 7: Design

Shahrul Azman Noah, Michael D. Williams:
Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools. 177-186
Electronic Edition (IEEE Computer Society DL) BibTeX
Hoda Fahmy, Richard C. Holt:
Using Graph Rewriting to Specify Software Architectural Transformations. 187-196
Electronic Edition (IEEE Computer Society DL) BibTeX
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel:
Specialization Patterns. 197-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 8: Testing

Paulo Marcos Siqueira Bueno, Mario Jino:
Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data. 209-218
Electronic Edition (IEEE Computer Society DL) BibTeX
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa:
Generating Test Data for Branch Coverage. 219-228
Electronic Edition (IEEE Computer Society DL) BibTeX
Bruno Marre, Agnès Arnould:
Test Sequences Generation from LUSTRE Descriptions: GATeL. 229-
Electronic Edition (IEEE Computer Society DL) BibTeX

Short Papers

Christos Kloukinas, Valérie Issarny:
Automating the Composition of Middleware Configurations. 241-244
Electronic Edition (IEEE Computer Society DL) BibTeX
Christelle Chaudet, Flávio Oquendo:
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. 245-248
Electronic Edition (IEEE Computer Society DL) BibTeX
John J. Kyaruzi, Jan van Katwijk:
Towards Explicit Representation of Architectural Design Assumptions. 249-252
Electronic Edition (IEEE Computer Society DL) BibTeX
David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill:
Java Model Checking. 253-256
Electronic Edition (IEEE Computer Society DL) BibTeX
Mike G. Hill, Thomas W. Lake:
Non-Interference Analysis for Mixed Criticality Code in Avionics Systems. 257-260
Electronic Edition (IEEE Computer Society DL) BibTeX
Chang Liu, Debra J. Richardson:
Automated Security Checking and Patching Using TestTalk. 261-264
Electronic Edition (IEEE Computer Society DL) BibTeX
Klaus-Dieter Schewe:
Controlled Automation of Consistency Enforcement. 265-268
Electronic Edition (IEEE Computer Society DL) BibTeX
Régine Laleau, Amel Mammar:
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. 269-272
Electronic Edition (IEEE Computer Society DL) BibTeX
Mikal Ziane:
A Transformational Viewpoint on Design Patterns. 273-276
Electronic Edition (IEEE Computer Society DL) BibTeX
Colin O'Halloran:
Issues for the Automatic Generation of Safety Critical Software. 277-280
Electronic Edition (IEEE Computer Society DL) BibTeX
Mark E. M. Stewart:
An Experiment in Scientific Program Understanding. 281-284
Electronic Edition (IEEE Computer Society DL) BibTeX
K. Suzanne Barber, Sutirtha Bhattacharya:
Representing Technology to Promote Reuse in the Software Design Process. 285-288
Electronic Edition (IEEE Computer Society DL) BibTeX
Houari A. Sahraoui, Hakim Lounis, Mounir Boukadoum, Frédéric Ethève:
Towards the Automatic Assessment of Evolvability for Reusable Class Libraries. 289-292
Electronic Edition (IEEE Computer Society DL) BibTeX
Liwu Li:
Translating Use Cases to Sequence Diagrams. 293-296
Electronic Edition (IEEE Computer Society DL) BibTeX
Nikolai Mansurov, Dmitri Vasura:
New Visual Interface for Engineering Use Case Models. 297-300
Electronic Edition (IEEE Computer Society DL) BibTeX
Alexander Egyed:
Semantic Abstraction Rules for Class Diagrams. 301-304
Electronic Edition (IEEE Computer Society DL) BibTeX
Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino:
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. 305-308
Electronic Edition (IEEE Computer Society DL) BibTeX
Martin S. Feather, Steven L. Cornford, Timothy W. Larson:
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. 309-312
Electronic Edition (IEEE Computer Society DL) BibTeX
Cleidson R. B. de Souza, Jair S. Ferreira Jr., Kléder Miranda Gonçalves, Jacques Wainer:
A Group Critic System for Object-Oriented Analysis and Design. 313-316
Electronic Edition (IEEE Computer Society DL) BibTeX
Marianne Huchard, Hervé Leblanc:
Computing Interfaces in Java. 317-320
Electronic Edition (IEEE Computer Society DL) BibTeX
Maurizio Morisio, Guilherme Travassos, Michael E. Stark:
Extending UML to Support Domain Analysis. 321-324
Electronic Edition (IEEE Computer Society DL) BibTeX
Prasanta K. Bose, Mark G. Matthews:
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies. 325-
Electronic Edition (IEEE Computer Society DL) BibTeX