Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1

Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1

by Reinhold Ploesch
ISBN-10:
3540434860
ISBN-13:
9783540434863
Pub. Date:
04/21/2004
Publisher:
Springer Berlin Heidelberg

Hardcover

Current price is , Original price is $119.0. You
Select a Purchase Option (2004)
  • purchase options
    $93.59 $119.00 Save 21% Current price is $93.59, Original price is $119. You Save 21%.
  • purchase options

Overview

Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1

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, techniques and tools that can be used by typical software engineers in everyday projects. The important requirements for the methods and techniques presented are simplicity, preciseness, generality and expressiveness; the challenge is to develop approaches that are balanced in the sense that all four requirements are fairly equally fulfilled. His approach combines contract and scenario techniques into a consistent methodology that can be used in analysis and design. It can also be combined with prototyping-based software development. Graduate students and researchers will gain a thorough understanding of contract techniques and related approaches. Professional software engineers will find many techniques applicable in their daily work, as all approaches given are compared with techniques available in the realm of the popular UML language.

Product Details

ISBN-13: 9783540434863
Publisher: Springer Berlin Heidelberg
Publication date: 04/21/2004
Edition description: 2004
Pages: 215
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

1 Software Quality.- 2 Contracts.- 3 Contracts and Analysis.- 4 Scenarios.- 5 Scenarios and Analysis.- 6 Contracts and Scenarios in the Software Development Process.- 7 Prototyping with Contracts and Scenarios.- 8 Contracts and Type Systems.- 9 Summarizing Remarks.- Appendix A: A Monitoring and Control Case Study— An Overview of the Deployment Process.- Appendix B: Grammar of SCL (Simple Contract Language).

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews