Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

Bjørner, Dines

ISBN 10: 3540211497 / ISBN 13: 9783540211495

Published by Springer, 2005

About this Item

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.

Seller Inventory # OTV.3540211497.G

Bibliographic Details

• Title: Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
• Publisher: Springer
• Publication Date: 2005
• Language: English
• ISBN 10: 3540211497
• ISBN 13: 9783540211495
• Binding: Hardcover
• Condition: good

About this title

Synopsis

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.

Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this 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 it trains 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 are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.

These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

About the Author

MSc.EE, 1962, PhD.CS 1969;IBM 1962-1975 (R&D: Sweden, California USA, Switzerland, Austria);Prof. Techn.Univ. of Denmark 1976--...;Guest Profs.: Univ. of California at Berkeley, Kiel Univ., Natl.Univ. of Singapore; Founder & Scientific Director: Dansk Datamatik Center (19791989); UN Director, UN Univ. Intl. Inst. f. Softw.Techn., Macau (1991-1997);Co-founder of (VDM now) Formal Methods Europe, 1987-...;Member of Academia Europaea;Member of the Russian Academy of Natural Sciences (AB);The Ths.Masaryk Gold Medal, Masaryk Univ., Brno, Czech Republic;The John von Neumann Medal, Hungarian Computer (JvN) Society;Knight of the Danish Flag