Foundations of Algebraic Specification and Formal Software Development

AvDonald Sannella,Andrzej Tarlecki

Inbunden, Engelska, 2011

Del i serien Monographs in Theoretical Computer Science. An EATCS Series

1 272 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

1 272 kr

Beskrivning

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.

Produktinformation

Utgivningsdatum:2011-12-30
Mått:155 x 235 x 38 mm
Vikt:1 057 g
Format:Inbunden
Språk:Engelska
Serie:Monographs in Theoretical Computer Science. An EATCS Series
Antal sidor:584
Upplaga:2012
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642173356

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik
Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

Mer om författaren

The first author is a professor of computer science at the University of Edinburgh. His key research area is foundations for specification and formal development of modular software systems from specifications, with applications to computer security and programming languages; among other responsibilities, he is the Editor-in-Chief of the journal Theoretical Computer Science and Vice President of the European Association for Theoretical Computer Science. The second author is a professor of computer science at the University of Warsaw, and also at the Institute of Computer Science of the Polish Academy of Sciences. His research mainly concerns foundations for specification and formal development of modular software systems from specifications, semantics, and relevant aspects of logic, universal algebra and category theory; among other responsibilities, he is the Editor-in-Chief of the journal Information Processing Letters. They have each chaired major conferences in software engineering and theoretical computer science, and have served on the steering and program committees of the main events related to the topic of this book.

Innehållsförteckning

Introduction.- Universal Algebra.- Simple Equational Specifications.- Category Theory.- Working Within an Arbitrary Logical System.- Structured Specifications.- Parameterisation.- Formal Program Development.- Behavioural Specifications.- Proofs for Specifications.- Working with Multiple Logical Systems.- References.