ASE 2000

45 papers

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