|
|
libcats.org
Software Engineering 3: Domains, Requirements, and Software DesignDines BjørnerThe art, craft, discipline, logic, practice and science of developing large scale software products is in increasing need of a trustworthy, believable and professional base. This book is one of a series of three volumes, devoted to fill this need. This series of strongly related text books combine informal, engineeringly sound approaches with the rigour of formal, mathematics based approaches. The present volume covers the basic principles and techniques of overall software development: From domains via requirements to software designs. Thus the book advocates a novel approach to software engineering based on the adage: Before requirements can be formulated one must understand the application domain. The book is therefore structured this way: From (i) the principles and techniques for the development of domain descriptions, via (ii) principles and techniques for the derivation of requirements prescriptions from domain models, to (iii) principles and techniques for the refinement of requirements into software designs: Architectures and component design. Emphasis in the coverage of domain and requirements engineering is on
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Junkers Ju 88Автор: Krzysztof Janowicz, Автор: Arkadiusz Wrobel, Автор: Maciej Noszczak, Автор: Lukasz PruszaКатегория: Вооружение
Размер книги: 29.48 Mb
Wireless multimedia network technologiesАвтор: Rajamani Ganesh, Автор: Kaveh Pahlavan, Автор: Zoran Zvonar
Размер книги: 9.25 Mb
Memory systems : cache, DRAM, diskАвтор: Bruce Jacob, Автор: Spencer Ng, Автор: David Wang
Размер книги: 23.11 Mb
SQL Clearly Explained, Second Edition (The Morgan Kaufmann Series in Data Management Systems)Автор: Jan L. Harrington
Размер книги: 12.68 Mb
ПРЕДУПРЕЖДЕНИЕ И ЛИКВИДАЦИЯ ГАЗОНЕФТЕВОДОПРОЯВЛЕНИЙАвтор: Жан Бом, Автор: Дидье Бриган, Автор: Бернар Лопес
Размер книги: 11.36 Mb
Soldat 1: The German Soldier on the Eastern Front 1941-43Автор: Gordon Rottman, Автор: Stephen Andrew
Размер книги: 39.75 Mb
|
|
|