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) …

A model theory that is independent of any concrete logical system allows a general handling
of a large variety of logics. This generality can be achieved by applying the theory of …

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

High-Level net models following the paradigm “nets as tokens” have been studied already in
the literature with several interesting applications. In this paper we propose the new …

Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …

In large software projects often multiple modeling languages are used in order to cover the
different domains and views of the application and the language skills of the developers …

Ensembles—software-intensive systems with massive numbers of nodes or complex
interactions between nodes, operating in open and non-deterministic environments and …

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 …