Dines Bjørner: Software Engineering 1

Cover: 9783642059391 | Software Engineering 1 | Abstraction and Modelling | Dines Bjørner

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

90,94 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Zusammenfassung

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.

Inhaltsverzeichnis

Opening.- Discrete Mathematics.- Numbers.- Sets.- Cartesians.- Types.- Functions.- A ?-Calculus.- Algebras.- Mathematical Logic.- Simple RSL.- Atomic Types and Values in RSL.- Function Definitions in RSL.- Property-Oriented and Model-Oriented Abstraction.- Sets in RSL.- Cartesians in RSL.- Lists in RSL.- Maps in RSL.- Higher-Order Functions in RSL.- Specification Types.- Types in RSL.- Specification Programming.- Applicative Specification Programming.- Imperative Specification Programming.- Concurrent Specification Programming.- And So On!.- Etcetera!.

Erscheinungsjahr:	2010
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Texts in Theoretical Computer Science. An EATCS Series
Inhalt:	xl 714 S. 38 s/w Illustr. 714 p. 38 illus.
ISBN-13:	9783642059391
ISBN-10:	3642059392
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Bjørner, Dines
Auflage:	Softcover reprint of hardcover 1st ed. 2006
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg Texts in Theoretical Computer Science. An EATCS Series
Maße:	235 x 155 x 41 mm
Von/Mit:	Dines Bjørner
Erscheinungsdatum:	12.02.2010
Gewicht:	1,124 kg

Ähnliche Produkte