Algebraic foundations of systems specification / E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.).

Format:

Book

Contributor:

Astesiano, E. (Egidio), 1939-

Kreowski, H.-J. (Hans-Jörg)

Krieg-Brückner, B. (Bernd)

Class of 1891 Department of Arts Fund.

Series:

IFIP state-of-the-art reports

Language:

English

Subjects (All):

Software engineering.

Formal methods (Computer science).

System design.

Physical Description:

xii, 615 pages : illustrations ; 25 cm.

Place of Publication:

Berlin ; New York : Springer, [1999]

Summary:

This book is a collection of high-quality contributions in the area of algebraic foundations of system specification, written by well-known experts. The contributions cover active topics and recent advances, and relate the work to other specification paradigms. Topics include institutions, partiality, specification semantics, structuring, refinement, specification languages, term rewriting, deduction, model-oriented specification, object-specification, concurrency, and the development process. All topics are clearly introduced, well illuminated with examples, and systematically developed.

Notes:

Includes bibliographical references (pages [263]-610) and indexes.

Local Notes:

Acquired for the Penn Libraries with assistance from the Class of 1891 Department of Arts Fund.

ISBN:

3540637729

OCLC:

41754666