Mathematics - Sets, General Topology, & Categories, General Software Engineering

Categories for Software Engineering

Name: Categories for Software Engineering
Author: Fiadeiro, Jose Luiz
ISBN: 9783642058882

by Fiadeiro, Jose Luiz

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Overview

Demonstrates how category theory can be used for formal software development.

The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.

About the Author, Fiadeiro, Jose Luiz

Professor at the University of Leicester; Visiting Scientist at Imperial College, King’s College London, SRI International and the University of Pisa; Chairman of the IFIP WG1.3 – Foundations of System Specification; Chairman of the Steering Committee of the European Joint Conferences on Theory and Practice of Software; Winner of an IBM Award in 1996 for his work on Emergence in Complex Software Systems