|
|
libcats.org
Software Engineering 1: Abstraction and ModellingDines BjørnerThe art, craft, discipline, logic, practice and science of developing large scale software products is an increasing need of a trustworthy, believable and professional base. This book is one in a series of three volumes, devoted to fill this need. The three strongly related text books combine informal, engineeringly sound approaches with the rigour of formal, mathematics based approaches. This volume 1 covers the basic principles and techniques of abstraction and modeling. First the book provides a sound, but simple basis of insight into discrete mathematics: Numbers, sets, Cartesians, types, functions, the lambda calculus, algebras and mathematical logic. Then the book goes on to teach and train its readers in basic property and model oriented specification principles and techniques. The model oriented concepts, that are common to such specification languages as B, VDM-SL, and Z, will be propagated here through the use of the RAISE specification language RSL. Finally the book covers basic principles of functional, imperative and parallel specification programming - the latter based on the use of CSP: Hoare's language of Communicating Sequential Processes. The present book is targeted at university undergraduate students and at college lecturers.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Такие разные сныАвтор: Надеждина Ирина НиколаевнаКатегория: Современные любовные романы
Размер книги: 644 Kb
The Best Trendline Methods Of Alan Andrews & 5 New Trendline TechniquesАвтор: Mikula PКатегория: econ
Размер книги: 632 Kb
La religion romaine archaïque, avec un appendice sur la religion des ÉtrusquesАвтор: Georges Dumézil
Размер книги: 22.13 Mb
De vertelsels van Baker de BardАвтор: Rowling Joanne KathleenКатегория: fiction
Размер книги: 1.05 Mb
|
|
|