+612 9045 4394
Categories for Software Engineering - Jose Luiz Fiadeiro

Categories for Software Engineering

Hardcover Published: 18th October 2004
ISBN: 9783540209096
Number Of Pages: 250

Share This Book:


RRP $257.99
or 4 easy payments of $44.56 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 13th October 2010

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity - a language for the architectural design of interactive systems.

Basics: Introducing Categories
Building Categories
Universal Constructions
Advanced Topics: Functor-Based Constructions
Applications: Community
Architectural Description
An Algebra of Connectors
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540209096
ISBN-10: 3540209093
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 250
Published: 18th October 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 1.96
Weight (kg): 0.58