|
|
libcats.org
Validated Designs for Object-Oriented SystemsJohn S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel VerhoefValidated Designs for Object-oriented Systems displays how well-established modelling techniques based on UML can be enhanced with rigorous yet accessible specification features allowing the modelling of data & functionality in a formal language, VDM++, based on the ISO Standard Vienna Development MethodÆs Specification Language. Opening with a review of the basic concepts in object-orientation & UML, the book adds modelling & analytic power step by step, dealing with enhanced data types, recording logical constraints & specifying functionality. This builds to give a ôround-tripö approach in which architectural and design views are kept in synchronisation as models are developed, analysed and refined. Validated Designs for Object-oriented Systems introduces formal techniques with a light touch. An industrial tool set is used to support the concepts and techniques as they are introduced. The numerous supporting examples & case studies are based on real industrial applications of the technology.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Кондиционирование воздуха в общественных зданиях Методические указания к курсовому проекту Belova 2006Автор:Категория: 1641360-Подборка книг по вентиляции
Размер книги: 424 Kb
SpectroelectrochemistryАвтор: Wolfgang Kaim, Автор: Axel KleinКатегория: Химия
Размер книги: 11.69 Mb
On Human Nature: A Gathering While Everything Flows, 1967-1984Автор: Kenneth Burke
Размер книги: 946 Kb
|
|
|