This paper discusses general requirements for architecture definition languages, and
describes the syntax and semantics of the subset of the Rapide language that is designed to …

To build survivable information systems (ie, systems that continue to provide their services in
spite of coordinated attacks), it is necessary to detect and isolate intrusions before they …

This work presents an approach to the design of the software component of an Interactive
System, which supports the generation of automatic task-oriented help. Help can easily be …

Refinement is reviewed, highlighting in particular the distinction between its use as a
specification constructor at a high level, and its use as an implementation mechanism at a …

This paper presents a taxonomy and an evaluation of formalisms for HCI. The taxonomy
derives from the origins of the formalisms and is based on three main categories: Cognitive …

Algorithmic choice is essential in any problem domain to realizing optimal computational
performance. Multigrid is a prime example: not only is it possible to make choices at the …

This thesis investigates abstractions for modelling user interface software, discussing their
content and their formal representation. Specifically, it focuses on a class of models, called …

We describe the Auto and Autograph tools for verification and analysis of concurrent
systems in their more recent developments. Auto is dedicated to a philosophy of verification …

Hardware designs increasingly evolve to distributed systems composed of multiple
interacting components working in parallel. Extended Timing Diagrams presented in this …

Our intent in this paper is to present a denotational model that supports both data and
concurrency description. Data can be pure (concurrency free data such as literals) or …