Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary re
Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex in
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania,