Research Catalog

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

Title
Contracts, scenarios and prototypes : an integrated approach to high quality software / Reinhold Plösch.
Author
Plösch, Reinhold.
Publication
Berlin ; New York : Springer, ©2004.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.76.D47 P56 2004Off-site

Details

Description
xii, 215 pages : illustrations; 24 cm
Summary
"Reinhold Plosch 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."--BOOK JACKET.
Subject
  • Computer software > Development
  • Software architecture
  • Computer software > Quality control
  • Logiciels > Développement
  • Architecture logicielle
  • Logiciels > Qualité > Contrôle
  • Anwendungssystem
  • OCL Programmiersprache
  • Softwareentwicklung
  • Qualitätssicherung
  • Requirements engineering
  • UML
Bibliography (note)
  • Includes bibliographical references (p. [197]-209) and index.
Contents
Software quality -- Contracts -- Contracts and analysis -- Scenarios -- Scenarios and analysis -- Contracts and scenarios in the software development process -- Prototyping with contracts and scenarios -- Contracts and type systems -- Summarizing remarks -- Appendix A : A monitoring and control case study -- an overview of the deployment process -- Appendix B : Grammar of SCL (Simple Contract Language).
ISBN
  • 3540434860
  • 9783540434863
LCCN
2004103362
OCLC
  • ocm56578632
  • 56578632
  • SCSB-9161547
Owning Institutions
Princeton University Library