The International Joint Conference on theory and practice of software development on TAPSOFT '87
The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
A calculus of broadcasting systems
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Information and Computation
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Calculus of Value Broadcasts
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Expressiveness of Point-to-Point versus Broadcast Communications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
A singleton failures semantics for communicating sequential processes
A singleton failures semantics for communicating sequential processes
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Generic Tools via General Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Interface input/output automata
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |
In this paper we have been influenced by those who take an ''engineering view'' of the problem of designing systems, i.e. a view that is motivated by what someone designing a real system will be concerned with, and what questions will arise as they work on their design. Specifically, we have borrowed from the testing work of Hennessy, de Nicola and van Glabbeek, e.g. Hennessy, 1988 [13], de Nicola [5], de Nicola, 1992 [21] and van Glabbeek, 2001, 1990 [40,39]. Here we concentrate on one fundamental part of the engineering view and where consideration of it leads. The aspects we are concerned with are computational entities in contexts, observed by users. This leads to formalising design steps that are often left informal, and that in turn gives insights into non-determinism and ultimately leads to being able to use refinement in situations where existing techniques fail.