|
|
libcats.org
Главная →
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised LecturesFormal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
Скачать книгу бесплатно (pdf, 3.47 Mb)
Читать «Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Anatomia de una civilizacion: Aproximaciones interdisciplinarias a la cultura Maya (Publicaciones de la S.E.E.M) (Spanish Edition)Автор: Andres Ciudad Ruiz, Автор: Maria Yolanda Fernandez Marquinez, Автор: Jose Miguel Garcia Campillo, Автор: Maria Josefa Iglesias Ponce de Leon, Автор: Alfonso Lacadena Garcia-Gallo, Автор: Luis Tomas Sanz Castro (editors)
Размер книги: 17.42 Mb
Sams Teach Yourself SQL in 24 Hours (5th Edition) (Sams Teach Yourself -- Hours)Автор: Ryan Stephens, Автор: Ron D. Plew, Автор: Arie D. Jones
Размер книги: 4.12 Mb
Введение в теорию геофизических методов. Ч.3Автор: Кауфман А.А., Автор: Левшин А.Л.Категория: P_Physics, PGp_Geophysics
Размер книги: 5.63 Mb
Kenneth E. Hagin Book Collection (85 Books) (Mobi & Epub)Автор: Kenneth E. HaginКатегория: Christian
Размер книги: 24.80 Mb
|
|
|