Categories for Software Engineering

• Κύριος συγγραφέας: Fiadeiro, José Luiz (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer science > Mathematics.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematics of Computing.

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

Πίνακας περιεχομένων:

• Basics
• Introducing Categories
• Building Categories
• Universal Constructions
• Functors
• Advanced Topics
• Functor-Based Constructions
• Adjunctions
• Applications
• CommUnity
• Architectural Description
• An Algebra of Connectors.