Cover Image

Contracts, scenarios and prototypes : an integrated approach to high quality software /

The number of methods and tools available to the software engineer nowadays is overwhelming; nevertheless many software projects fail to meet their schedules, are over budget, do not meet the user requirements, or simply have considerable quality defects. Reinhold Ploesch emphasizes methods, techniq...

Full description

Bibliographic Details
Main Author: Plösch, Reinhold
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin : Springer, [2004]
Subjects:
Computer software > Development.
Software architecture.
Computer software > Quality control.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Preface
  • Software Quality
  • Contracts
  • Contracts and Analysis
  • Scenarios
  • Scenarios and Analysis
  • Contracts and Scenarios in the Software Development Process
  • Prototyping with Contracts and Scenarios
  • Assertions Reconsidered
  • Components and Assertions
  • List of Figures
  • Bibliography
  • Appendix A: Monitoring and Control Case Study
  • Appendix B: Grammar for Specifying Contracts.