|
|
libcats.org
Software Engineering 2: Specification of Systems and LanguagesDines BjørnerThe art, craft, discipline, logic, practice and science of developing large scale software products is in increasing need of a trustworthy, believable and professional base. This book is one of a series of three volumes, devoted to fill this need. This series of strongly related text books combine informal, engineeringly sound approaches with the rigour of formal, mathematics based approaches. This volume 2 covers the basic principles and techniques of specifying systems and languages. First the book teaches and trains its readers in advanced principles and techniques: Hierarchical versus compositional, denotational versus computational, and configurational - Abstracting and modeling contexts and states. Then the book goes on to teach and train its readers in basic principles and techniques of modeling the semiotics: Pragmatics, semantics and syntax of systems and languages. An important part covers principles and techniques of modeling spatial and simple temporal phenomena. A major section of the book is devoted to such specialised topics as: Modularity (incl. UML's Class Diagrams); Petri Nets; Live Sequence Charts; Statecharts; and Temporal Logics, including the Duration Calculus. This part epitomises the adage: We
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
slide30Автор: Cook Glen - Black Company 03 - Books of the North 03 - The White Rose 3.0.html
Размер книги: 4 Kb
The Cambridge History of China: The Ming Dynasty, 1368-1644, Part 1Автор: Frederick W. Mote, Автор: Denis TwitchettКатегория: history_military
Размер книги: 53.18 Mb
Compact stellar X-ray sourcesАвтор: Lewin W.H.G., Автор: van der Klis M. (eds.)Категория: P_Physics, PA_Astronomy
Размер книги: 11.38 Mb
The Annotated Mona Lisa: A Crash Course in Art History from Prehistoric to Post-ModernАвтор: Carol Strickland, Автор: John Boswell
Размер книги: 21.18 Mb
Public Spaces, Private Gardens: A History of Designed Landscapes in New OrleansАвтор: Lake Douglas, Автор: John H. Lawrence (afterword)
Размер книги: 8.09 Mb
|
|
|