15. ASE 2000: Grenoble, France

Session 1: Verification

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

Session 2: Requirements

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

Session 3: Evolution

• Robert J. Hall:
  Upgrading Legacy Instances of Reactive Systems. 63-72
  
• Guido Malpohl, James J. Hunt, Walter F. Tichy:
  Renaming Detection. 73-80
  
• Paul E. Black, Vadim Okun, Yaacov Yesha:
  Mutation Operators for Specifications. 81-
  

Session 4: Synthesis and Code Generation

• Raul Monroy:
  The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures. 91-100
  
• 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
  
• Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel:
  A Declarative Approach for Designing and Developing Adaptive Components. 111-
  

Session 5: Algebraic Specification

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

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
  
• Tim Menzies, Erik Sinsel:
  Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment. 165-
  

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
  
• Hoda Fahmy, Richard C. Holt:
  Using Graph Rewriting to Specify Software Architectural Transformations. 187-196
  
• Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel:
  Specialization Patterns. 197-
  

Session 8: Testing

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

Short Papers

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

Last update Tue May 21 17:38:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page