default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th ASE 2000: Grenoble, France
- The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000. IEEE Computer Society 2000, ISBN 0-7695-0710-7
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
- Raúl 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, Mário 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-
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-11-11 21:15 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:
