Software Engineering 1

Abstraction and Modelling

Inbunden, Engelska, 2005

AvDines Bjørner

1 409 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

1 199 kr

Skickas inom 10-15 vardagar

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of abstraction and modeling. First it provides a sound, simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda calculus, algebras and mathematical logic. Then it teaches its readers 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 propagated here through the use of the RAISE specification language (RSL). Finally the book covers the basic principles of functional, imperative and parallel specification programming.This book is targeted at university undergraduate students and at college lecturers.

Produktinformation

Utgivningsdatum2005-12-19
Mått155 x 235 x undefined mm
FormatInbunden
SpråkEngelska
SerieTexts in Theoretical Computer Science. An EATCS Series
Antal sidor714
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540211495

Tillhör följande kategorier

Programvaruutveckling inom Data och it

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!.

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)