| 2000 | A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering. J. Michael Moore, Frank M. Shipman III |
| 2000 | A DSL Approach to Improve Productivity and Safety in Device Drivers Development. Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller |
| 2000 | A Declarative Approach for Designing and Developing Adaptive Components. Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel |
| 2000 | A Group Critic System for Object-Oriented Analysis and Design. Cleidson R. B. de Souza, Jair S. Ferreira Jr., Kléder Miranda Gonçalves, Jacques Wainer |
| 2000 | A Transformational Viewpoint on Design Patterns. Mikal Ziane |
| 2000 | An Experiment in Scientific Program Understanding. Mark E. M. Stewart |
| 2000 | An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. Régine Laleau, Amel Mammar |
| 2000 | Automated Security Checking and Patching Using TestTalk. Chang Liu, Debra J. Richardson |
| 2000 | Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino |
| 2000 | Automating the Composition of Middleware Configurations. Christos Kloukinas, Valérie Issarny |
| 2000 | CM-Builder: An Automated NL-Based CASE Tool. H. M. Harmain, Robert J. Gaizauskas |
| 2000 | Circular Coinductive Rewriting. Joseph A. Goguen, Kai Lin, Grigore Rosu |
| 2000 | Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. Martin S. Feather, Steven L. Cornford, Timothy W. Larson |
| 2000 | Computing Interfaces in Java. Marianne Huchard, Hervé Leblanc |
| 2000 | Controlled Automation of Consistency Enforcement. Klaus-Dieter Schewe |
| 2000 | Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools. Shahrul Azman Noah, Michael D. Williams |
| 2000 | Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. Sarfraz Khurshid, Daniel Jackson |
| 2000 | Extending UML to Support Domain Analysis. Maurizio Morisio, Guilherme Travassos, Michael E. Stark |
| 2000 | Finding Comparatively Important Concepts between Texts. Renaud Lecoeuche |
| 2000 | Formal Construction of the Mathematically Analyzed Separation Kernel. W. Martin, P. White, F. S. Taylor, A. Goldberg |
| 2000 | Generating Test Data for Branch Coverage. Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa |
| 2000 | Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data. Paulo Marcos Siqueira Bueno, Mário Jino |
| 2000 | Issues for the Automatic Generation of Safety Critical Software. Colin O'Halloran |
| 2000 | Java Model Checking. David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill |
| 2000 | Management of Change in Structured Verification. Dieter Hutter |
| 2000 | Model Checking Programs. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park |
| 2000 | Mutation Operators for Specifications. Paul E. Black, Vadim Okun, Yaacov Yesha |
| 2000 | New Visual Interface for Engineering Use Case Models. Nikolai Mansurov, Dmitri Vasura |
| 2000 | Non-Interference Analysis for Mixed Criticality Code in Avionics Systems. Mike G. Hill, Thomas W. Lake |
| 2000 | Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment. Tim Menzies, Erik Sinsel |
| 2000 | Renaming Detection. Guido Malpohl, James J. Hunt, Walter F. Tichy |
| 2000 | Representing Technology to Promote Reuse in the Software Design Process. K. Suzanne Barber, Sutirtha Bhattacharya |
| 2000 | Semantic Abstraction Rules for Class Diagrams. Alexander Egyed |
| 2000 | Simultaneous Checking of Completeness and Ground Confluence. Adel Bouhoula |
| 2000 | Specialization Patterns. Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel |
| 2000 | Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies. Prasanta K. Bose, Mark G. Matthews |
| 2000 | Test Sequences Generation from LUSTRE Descriptions: GATeL. Bruno Marre, Agnès Arnould |
| 2000 | The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000 |
| 2000 | The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures. Raúl Monroy |
| 2000 | Towards Explicit Representation of Architectural Design Assumptions. John J. Kyaruzi, Jan van Katwijk |
| 2000 | Towards the Automatic Assessment of Evolvability for Reusable Class Libraries. Houari A. Sahraoui, Hakim Lounis, Mounir Boukadoum, Frédéric Ethève |
| 2000 | Translating Use Cases to Sequence Diagrams. Liwu Li |
| 2000 | Upgrading Legacy Instances of Reactive Systems. Robert J. Hall |
| 2000 | Using Graph Rewriting to Specify Software Architectural Transformations. Hoda Fahmy, Richard C. Holt |
| 2000 | Using Little-JIL to Coordinate Agents in Software Engineering. Alexander E. Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr. |
| 2000 | pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. Christelle Chaudet, Flávio Oquendo |