Abstract is missing.
- A Tool for Automated System Analysis based on Modular SpecificationsAngelo Morzenti, Pierluigi San Pietro, Sandro Morasca. 2-11 [doi]
- Management of Evolving Specifications using Category TheoryVirginie Wiels, Steve M. Easterbrook. 12-21 [doi]
- Specification-based Testing of Ada Units with Low EncapsulationArthur Alexander Reyes, Debra J. Richardson. 22-31 [doi]
- Identifying Pre-Conditions with the Z/EVES Theorem ProverYves Ledru. 32 [doi]
- Planning Equational Verification in CCSRaul Monroy, Alan Bundy, Ian Green. 43-52 [doi]
- Don t Verify, Abstract!Colin O Halloran, Alf Smith. 53-62 [doi]
- A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDLHans-Arno Jacobsen, Bernd J. Krämer. 63 [doi]
- Specification-based Browsing of Software Component LibrariesBernd Fischer. 74-83 [doi]
- Reusability Hypothesis Verification using Machine Learning Techniques: A Case StudyYida Mao, Houari A. Sahraoui, Hakim Lounis. 84-93 [doi]
- An Automated Approach for Supporting Software Reuse via Reverse EngineeringGerald C. Gannod, Yonghao Chen, Betty H. C. Cheng. 94 [doi]
- Towards the Automated Debugging and Maintenance of Logic-based Requirements ModelsT. L. McCluskey, Margaret Mary West. 105-114 [doi]
- Explanation-based Scenario Generation for Reactive System ModelsRobert J. Hall. 115-124 [doi]
- Automated Integrative Analysis of State-based RequirementsBarbara J. Czerny, Mats Per Erik Heimdahl. 125 [doi]
- Automated Software Test Data Generation for Complex ProgramsChristoph C. Michael, Gary McGraw. 136-146 [doi]
- Programmatic Testing of the Standard Template Library ContainersJason McDonald, Daniel Hoffman, Paul A. Strooper. 147-156 [doi]
- Testing using Log File Analysis: Tools, Methods, and IssuesJ. Andrews. 157 [doi]
- Schema-Guided Synthesis of Constraint Logic ProgramsPierre Flener, Hamza Zidoum, Brahim Hnich. 168-176 [doi]
- Automating UI Generation by Model CompositionKurt Stirewalt, Spencer Rugaber. 177 [doi]
- On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance EvaluationMichael Goedicke, Torsten Meyer, C. Piwetz. 188-191 [doi]
- Synthesizing Software Architecture Descriptions from Message Sequence Chart SpecificationsStefan Leue, L. Mehrmann, Mohammad Rezai. 192-195 [doi]
- Component-based Software Process SupportKevin Gary, Timothy E. Lindquist, Harry Koehnemann, Jean-Claude Derniame. 196-199 [doi]
- Illustrating Object-Oriented Library Reuse by Example: A Tool-based ApproachAmir Michail, David Notkin. 200-203 [doi]
- Dowsing: A Tool Framework for Domain-Oriented Browsing of Software ArtifactsRichard Clayton, Spencer Rugaber, Linda M. Wills. 204 [doi]
- From Z to BON/EiffelRichard F. Paige, Jonathan S. Ostroff. 209-212 [doi]
- Detection of Exclusive OR Global PredicatesE. Lee, C. Park, D. Lee. 213-216 [doi]
- Statically Checkable Design Level TraitsJoseph Gil, Y. Eckel. 217-220 [doi]
- Parameterising (Algebraic) Specifications on DiagramsTheodosis Dimitrakos. 221-224 [doi]
- A Visualization Concept for Hierarchical Object ModelsStefan Berner, Stefan Joos, Martin Glinz, Martin Arnold. 225 [doi]
- Task Oriented Software UnderstandingAli Erdem, W. Lewis Johnson, Stacy Marsella. 230-239 [doi]
- Explaining Synthesized SoftwareJeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger. 240-248 [doi]
- A Configurable Automatic Instrumentation Tool for ANSI CKevin Templer, Clinton L. Jeffery. 249 [doi]
- The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment ParadigmArmando Martin Haeberer, T. S. E. Maibaum. 260-271 [doi]
- Planware - Domain-Specific Synthesis of High-Performance SchedulersLee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold. 270 [doi]
- ASSISTing Exit Decisions in Software InspectionJames Miller, Fraser MacDonald. 281-284 [doi]
- An Automated Framework for Structural Test-Data GenerationNigel Tracey, John A. Clark, Keith Mander, John A. McDermid. 285-288 [doi]
- ADLscope: An Automated Specification-based Unit Testing ToolJuei Chang, Debra J. Richardson. 289-292 [doi]
- An Empirical Study of the Evolution of a Software SystemR. Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson. 293-296 [doi]
- A Coordination System Approach to Software Workflow Process EvolutionJean-Marc Andreoli, Christer Fernström, Jean-Luc Meunier. 297 [doi]
- Requirements Engineering and Verification using Specification AnimationDaniel Hazel, Paul A. Strooper, Owen Traynor. 302-305 [doi]
- Developing the Designer s Toolkit with Software Comprehension ModelsAndrew Walenstein. 310-313 [doi]
- Development, Assessment, and Reengineering of Language DescriptionsM. P. A. Sellink, Chris Verhoef. 314-317 [doi]
- Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse EngineeringTerence J. Harmer, James M. Boyle. 318-332 [doi]
- Towards a Theory for Integration of Mathematical Verification and Empirical TestingMichael R. Lowry, M. Boyd, D. Kulkarni. 322 [doi]