Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices, this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations.

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.

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; model checking and theorem proving; models of object and component systems; coordination and feature interaction; integration of theories, formal methods and tools for engineering computing systems; service-oriented architectures: models and development methods; models of concurrency, security, and mobility; theories of distributed, grid and cloud computing; real-time, embedded, hybrid and cyber-physical systems; type and category theory in computer science; models for e-learning and education; case studies, theories, tools and experiments of verified systems; domain-specific modeling and technology: examples, frameworks and practical experience; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award: "For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67." This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: "The Birth of Object-Orientation: the Simula Languages." The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered around object-orientation and formal methods.

Today, Fuzzy Set Theory is the core discipline of so-called ‘soft’ computing, and provides new impetus for research in the field of artificial intelligence. In this fascinating book, the history of Fuzzy Set Theory and the ways it was first used are incorporated into the history of 20th century science and technology. Influences from philosophy, system theory and cybernetics stemming from the earliest part of the 20th century are considered alongside those of communication and control theory from mid-century.