Нравится LibRing?
Расскажи друзьям:
Reinhold Ploesch

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

Книгу можно купить в интернет-магазинах:

· OZON.ru 4181р. [Проверить наличие]
ISBN: 3540434860
Издательство: Springer-Verlag Telos
This book emphasizes methods, techniques and tools that can be used by AVERAGE software engineers in AVERAGE projects. As the very popular UML language contais an assertion language (OCL), this language is presented and put into relation with other currently available assertion techniques. Currently these techniques are more widely used in late design and implementation phases. Here their role in analysis is emphasized. Assertion and scenario techniques are then combined into a single methodological framework. Finally a prototyping oriented model based on this framework is developed which helps to assure that software fulfills user requirements.