Software Engineering 1: Abstraction and Modelling

Dines Bjørner

ISBN 10: 3642059392 / ISBN 13: 9783642059391

Verlag: Springer Berlin Heidelberg, 2006

Beschreibung

754 pages. 9.00x6.00x1.71 inches. In Stock.

Bestandsnummer des Verkäufers x-3642059392

Bibliografische Details

• Titel: Software Engineering 1: Abstraction and Modelling
• Verlag: Springer Berlin Heidelberg
• Erscheinungsjahr: 2006
• Sprache: Englisch
• ISBN-10: 3642059392
• ISBN-13: 9783642059391
• Einband: Paperback
• Zustand: Brand New

Über diesen Titel

Inhaltsangabe

This well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented specification principles and techniques. In addition, the reader will learn the essentials of functional, imperative, and parallel specification programming.

Críticas

From the reviews:

"The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones ... is the natural manner in which the formal techniques smoothly glide from software design towards the requirements prescription phase and beyond to domain description. ... By its consistency and rigor, the book is, undoubtedly, remarkably useful to professional software developers." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)