Abstract is missing.
- Model Checking ProgramsWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park. 3-12 [doi]
- Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint AnalyzerSarfraz Khurshid, Daniel Jackson. 13-22 [doi]
- Management of Change in Structured VerificationDieter Hutter. 23 [doi]
- A Comparison of Questionnaire-Based and GUI-Based Requirements GatheringJ. Michael Moore, Frank M. Shipman III. 35-44 [doi]
- CM-Builder: An Automated NL-Based CASE ToolH. M. Harmain, Robert J. Gaizauskas. 45-54 [doi]
- Finding Comparatively Important Concepts between TextsRenaud Lecoeuche. 55 [doi]
- Upgrading Legacy Instances of Reactive SystemsRobert J. Hall. 63-72 [doi]
- Renaming DetectionGuido Malpohl, James J. Hunt, Walter F. Tichy. 73-80 [doi]
- Mutation Operators for SpecificationsPaul E. Black, Vadim Okun, Yaacov Yesha. 81 [doi]
- The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty ConjecturesRaul Monroy. 91-100 [doi]
- A DSL Approach to Improve Productivity and Safety in Device Drivers DevelopmentLaurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller. 101-110 [doi]
- A Declarative Approach for Designing and Developing Adaptive ComponentsPhilippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel. 111 [doi]
- Circular Coinductive RewritingJoseph A. Goguen, Kai Lin, Grigore Rosu. 123-132 [doi]
- Using Little-JIL to Coordinate Agents in Software EngineeringAlexander E. Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr.. 155-164 [doi]
- Practical Large Scale What-If Queries: Case Studies with Software Risk AssessmentTim Menzies, Erik Sinsel. 165 [doi]
- Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design ToolsShahrul Azman Noah, Michael D. Williams. 177-186 [doi]
- Using Graph Rewriting to Specify Software Architectural TransformationsHoda Fahmy, Richard C. Holt. 187-196 [doi]
- Specialization PatternsUlrik Pagh Schultz, Julia L. Lawall, Charles Consel. 197 [doi]
- Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test DataPaulo Marcos Siqueira Bueno, Mario Jino. 209-218 [doi]
- Generating Test Data for Branch CoverageNeelam Gupta, Aditya P. Mathur, Mary Lou Soffa. 219-228 [doi]
- Test Sequences Generation from LUSTRE Descriptions: GATeLBruno Marre, Agnès Arnould. 229 [doi]
- Automating the Composition of Middleware ConfigurationsChristos Kloukinas, Valérie Issarny. 241-244 [doi]
- pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software SystemsChristelle Chaudet, Flávio Oquendo. 245-248 [doi]
- Towards Explicit Representation of Architectural Design AssumptionsJohn J. Kyaruzi, Jan van Katwijk. 249-252 [doi]
- Java Model CheckingDavid Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill. 253-256 [doi]
- Automated Security Checking and Patching Using TestTalkChang Liu, Debra J. Richardson. 261-264 [doi]
- Controlled Automation of Consistency EnforcementKlaus-Dieter Schewe. 265-268 [doi]
- An Overview of a Method and Its Support Tool for Generating B Specifications from UML NotationsRégine Laleau, Amel Mammar. 269-272 [doi]
- A Transformational Viewpoint on Design PatternsMikal Ziane. 273-276 [doi]
- Issues for the Automatic Generation of Safety Critical SoftwareColin O'Halloran. 277-280 [doi]
- An Experiment in Scientific Program UnderstandingMark E. M. Stewart. 281-284 [doi]
- Representing Technology to Promote Reuse in the Software Design ProcessK. Suzanne Barber, Sutirtha Bhattacharya. 285-288 [doi]
- Towards the Automatic Assessment of Evolvability for Reusable Class LibrariesHouari A. Sahraoui, Hakim Lounis, Mounir Boukadoum, Frédéric Ethève. 289-292 [doi]
- Translating Use Cases to Sequence DiagramsLiwu Li. 293-296 [doi]
- New Visual Interface for Engineering Use Case ModelsNikolai Mansurov, Dmitri Vasura. 297-300 [doi]
- Semantic Abstraction Rules for Class DiagramsAlexander Egyed. 301-304 [doi]
- Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of ResourcesKhaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino. 305-308 [doi]
- Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool SupportMartin S. Feather, Steven L. Cornford, Timothy W. Larson. 309-312 [doi]
- A Group Critic System for Object-Oriented Analysis and DesignCleidson R. B. de Souza, Jair S. Ferreira Jr., Kléder Miranda Gonçalves, Jacques Wainer. 313-316 [doi]
- Computing Interfaces in JavaMarianne Huchard, Hervé Leblanc. 317-320 [doi]
- Extending UML to Support Domain AnalysisMaurizio Morisio, Guilherme Travassos, Michael E. Stark. 321-324 [doi]
- Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination PoliciesPrasanta K. Bose, Mark G. Matthews. 325 [doi]