by JoseLuizFiadeiro (Author)
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.
Format: Hardcover
Pages: 250
Publisher: Springer
Published: 18 Oct 2004
ISBN 10: 3540209093
ISBN 13: 9783540209096
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