Contracts, Scenarios and Prototypes

An Integrated Approach to High Quality Software

Reinhold Plösch

215 pages, parution le 05/08/2004

Ajouter à une liste

Indisponible

Résumé

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.

Written for:
Graduate students, professionals

Sommaire

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)

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Reinhold Plösch
Parution	05/08/2004
Nb. de pages	215
Format	16 x 24
Couverture	Relié
Poids	450g
Intérieur	Noir et Blanc
EAN13	9783540434863