|
|
libcats.org
The Object-Z Specification LanguageGraeme SmithObject-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Технология и техно-химический контроль хлебопекарного производстваАвтор: Авторы: Л.Ф.Зверева, Автор: З.С.Немцова, Автор: Н.П.Волкова.Категория: Пища. Пищевые производства
Размер книги: 4.70 Mb
Оборудование для очистки воздушных выбросов и сточных вод пищевых предприятий, ГИОРДАвтор: Гавриленков А. М., Автор: Рудыка Е. А.
Размер книги: 1.22 Mb
Структура капитала корпораций. Теория и практикаАвтор: Рудык Н.Б., Автор:Категория: money
Размер книги: 2.14 Mb
Теория и практика страхования. Учебное пособиеАвтор: Под общей редакцией Турбиной К.Е.Категория: money
Размер книги: 24.95 Mb
Поведенческие финансы или Между страхом и алчностьюАвтор: Н. Б. РудыкКатегория: money
Размер книги: 2.37 Mb
150 споров, выигранных у налоговойАвтор: Зрелов А. П., Автор: Краснов М. В.Категория: Нормативная литература
Размер книги: 1.98 Mb
Производственный менеджмент: Методические указания к изучению курса и самостоятельной работе студентовАвтор: Якунина О.Г., Автор: Осиновская И.В.Категория: Производственный менеджмент
Размер книги: 321 Kb
Extraordinary Jobs in the Service Sector (Extraordinary Jobs)Автор: Alecia Devantier, Автор: Carol Turkington
Размер книги: 1.46 Mb
|
|
|