Nested application conditions generalise the well-known negative application conditions
and are important for several application domains. In this paper, we present Local Church …

Embedded real-time systems generate state sequences where time elapses between state
changes. Ensuring that such systems adhere to a provided specification of admissible or …

Design by contract (DbC) is widely acknowledged to be a powerful technique for creating
reliable software. DbC allows developers to specify the behavior of an operation precisely …

Services provide access to software components that can be discovered dynamically via the
Internet. The increasing number of services a requester may be able to use demand support …

Testing service-oriented or component-based systems poses new challenges due to the non-
availability of code and the distributed nature of the applications being tested. Structural …

Many popular methodologies are influenced by Design by Contract. They recommend to
specify the intended behavior of operations in an early phase of the software development …

The model-driven architecture focuses on the evolution and integration of applications
across heterogeneous platforms by means of generating implementations from platform …

The development of a denotational framework for graph transformation systems proved
elusive so far. Despite the existence of many formalisms for modelling various notions of …

Nested application conditions generalise the well-known negative application conditions
and are important for several application domains. In this paper, we present Local Church …

Abstract In Requirements Engineering structural and functional requirements for a new
software system are gathered, analyzed, and manifested. Unfortunately the connection …