|
|
libcats.org
Formal Methods for Software Architectures, 3 school, SFM 2003Marco Bernardo, Paola InverardiIn the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level.
This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.
Скачать книгу бесплатно (pdf, 3.72 Mb)
Читать «Formal Methods for Software Architectures, 3 school, SFM 2003» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
«Пакт Молотова-Риббентропа» в вопросах и ответахАвтор: Дюков АлександрКатегория: История
Размер книги: 3.40 Mb
Koshljakov N.S., Gliner E#.B., Smirnov M.M. Uravnenija v chastnyh proizvodnyh mat.fiziki (VSh, 1970)(ru)(600dpi)(T)(713s)_MCde_.djvuАвтор:
Размер книги: 13.54 Mb
Reading Rawls: Critical Studies on Rawls' A Theory of JusticeАвтор: Norman Daniels (editor)Категория: Образование
Размер книги: 117.96 Mb
Key Concepts in Drama and Performance (Palgrave Key Concepts)Автор: Kenneth Pickering
Размер книги: 812 Kb
The Church of England c.1689-c.1833: From Toleration to TractarianismАвтор: John Walsh, Автор: Colin Haydon, Автор: Stephen Taylor
Размер книги: 6.90 Mb
Clinical MR Imaging: A Practical Approach, Third EditionАвтор: Peter Reimer, Автор: Paul M. Parizel, Автор: James F.M. Meaney, Автор: Falko-Alexander StichnothКатегория: Медицина, Клиническая медицина
Размер книги: 117.15 Mb
|
|
|