|
|
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.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
A history of German literature: from the beginnings to the present dayАвтор: Wolfgang Beutin, Автор: Klaus Ehlert, Автор: Wolfgang Emmerich, Автор: Helmut Hoffacker, Автор: Bernd Lutz, Автор: Volker Meid, Автор: Ralf Schnell, Автор: Peter Stein, Автор: Inge Stephan
Размер книги: 4.02 Mb
Оптическая и квантовая электроника: Учеб. для студентов вузов, обучающихся по направлению ''Электроника и микроэлектроника''Автор: А. Н. Пихтин
Размер книги: 23.30 Mb
Women's Rights and Transatlantic Antislavery in the Era of EmancipationАвтор: Prof. Kathryn Kish Sklar, Автор: Prof. James Brewer Stewart
Размер книги: 1.22 Mb
The Berenstain Bears Inside Outside Upside DownАвтор: Berenstain Stan, Автор: Berenstain JanКатегория: fiction
Размер книги: 4.55 Mb
|
|
|