|
|
libcats.org
Главная →
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification LanguageCASL Reference Manual: The Complete Documentation of the Common Algebraic Specification LanguagePeter D. MossesCASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.
Скачать книгу бесплатно (pdf, 2.74 Mb)
Читать «CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Диалоги (декабрь 2003 г.)Автор: Гордон АлександрКатегория: Научная литература
Размер книги: 858 Kb
Метод конечных элементов в статике, динамике и устойчивости пространственных тонкостенных подкрепленных конструкцийАвтор: Агапов В.П.Категория: Engineering, Mechanics of elastic materials
Размер книги: 1.63 Mb
Компьютеры на СБИС. Научное изданиеАвтор: Мотоока Тору, Автор: Перевод с японского. Авторы: Т.Мотоока, Автор: Х.Хорикоси, Автор: M.Сакаути, Автор: Х.Танака, Автор: Х.Танака, Автор: Т.Сайто.
Размер книги: 3.59 Mb
Методы спектрального анализаАвтор: Левшин Л.В., Автор: Бабушкин А.А., Автор: и др.
Размер книги: 9.17 Mb
CVD-метод. Химическое парофазное осаждениеАвтор: Сыркин В.Г.Категория: химия и науки о материалах
Размер книги: 17.91 Mb
|
|
|