Models are good at expressing information about software but not as good at expressing
modelers' uncertainty about it. The highly incremental and iterative nature of software …

On Specifying for Trustworthiness Page 1 AUTONOMOUS SYSTEMS (AS) are systems that
involve software applications, machines, and people—that is, systems that can take action with …

A key problem in model-based development is integrating a collection of models into a
single, larger, specification as a way to construct a functional system, to develop a unified …

Model Management addresses the problem of managing an evolving collection of models
by capturing the relationships between models and providing well-defined operators to …

Controller synthesis provides an automated means to produce architecture-level behaviour
models that are enacted by a composition of lower-level software components, ensuring …

Abstract Models are typically used for expressing information that is known at a particular
stage in the software development process. Yet, it is also important to express what …

A software specification is often the result of an iterative process that transforms an initial
incomplete model through refinement decisions. A model is incomplete because the …

Uncertainty is pervasive within software engineering, negatively affecting software quality as
well as development time. In previous work, we have developed a language-independent …

We extend the theory of input-output conformance with operators for merge and quotient.
The former is useful when testing against multiple requirements or views. The latter can be …

Modeling is a technique used extensively in industry to define software systems, the UML
being the most prominent example. With the increased use of modeling techniques has …