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 …

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

The Common Algebraic Specification Language (CASL) is an expressive language for the
formal specification of functional requirements and modular design of software. It has been …

Emerging storage technologies such as flash memories, phase-change memories, and spin-
transfer torque memories are poised to close the enormous performance gap between disk …

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

One of the great problems of Mathematical Knowledge Management (MKM) systems is to
obtain access to a sufficiently large corpus of mathematical knowledge to allow the …

In this article we describe the data model of the MB ase system, a web-based, distributed
mathematical knowledge base. This system is a mathematical service in MathWeb that offers …

For the specification of large software systems, heterogeneous multi-logic specifications are
needed, since complex problems have different aspects that are best specified in different …

In this paper we present an extension OMDoc to the Open-Math standard that allows the
representation of the semantics and structure of various kinds of mathematical documents …

Development graphs are a tool for dealing with structured specifications in a formal program
development in order to ease the management of change and reusing proofs. In this work …