Computers arechanging the way wethink. Of course, nearly all desk-workers have access to
computers and use them to email their colleagues, search the Web for information and …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

Heterogeneous specification becomes more and more important because complex systems
are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1) …

Symbolic and logic computation systems ranging from computer algebra systems to theorem
provers are finding their way into science, technology, mathematics and engineering. But …

This paper addresses questions of universality related to ontological engineering, namely
aims at substantiating (negative) answers to the following three basic questions:(i) Is there a …

We present an institution for UML state machines without hierarchical states. The interaction
with UML class diagrams is handled via institutions for guards and actions, which provide …

LF is a meta-logical framework that has become a standard tool for representing logics and
studying their properties. Its focus is proof theoretic, employing the Curry-Howard …

The Distributed Ontology, Model and Specification Language – DOL | SpringerLink Skip to
main content Advertisement SpringerLink Account Menu Find a journal Publish with us …

Representing proof assistant libraries in a way that allows further processing in other
systems is becoming increasingly important. It is a critical missing link for integrating proof …

Logic is the study of formal languages for propositions and truth. Logics are used both as a
foundation of mathematics and as specification languages in mathematics and computer …