-
Chapter and Conference Paper
Towards a First-Order Deontic Action Logic
In this article we describe a first-order extension of the deontic logic introduced in [1]. The main useful and interesting characteristic of this extended logic is that it not only provides the standard quant...
-
Chapter and Conference Paper
Characterizing Locality (Encapsulation) with Bisimulation
In this paper we investigate formal mechanisms to allow designers to decompose specifications (stated in a given logic) into several components. The basic ideas come from [1] where some notions from category t...
-
Chapter and Conference Paper
Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems
Software reuse, when correctly employed, can make it feasible to extend process control applications with controlled cost and effort. Component-based development is one of the important means to realise softwa...
-
Chapter and Conference Paper
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
The GOPCSD (Goal Oriented Process Control Systems Design) tool is an inte- grated environment, where the process control systems engineer can construct, import, check, reason about, modify, validate requiremen...
-
Article
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'—an ICSE'98 Workshop)
-
Chapter
A Framework for Describing Software Architectures for Reuse
We present a formal description of software architectures for software reuse to support a view of systematic software reuse as the plugging of components into an architecture. The components are object descrip...
-
Chapter and Conference Paper
A top-down step-wise refinement methodology for protocol specification
Existing approaches to formal protocol specification and verification suffer from great difficulty in constructing correct specifications for practical problems. The objective of this paper is to advocate a to...
