133 search results - page 4 / 27 » Proving Properties for Behavioural Specifications with Term ... |
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
AUTOMATICA
2010
14 years 9 months ago
2010
The main contribution of this paper is to provide a solution to the noise sensitivity of high-gain observers. We propose a nonlinear observer that possesses simultaneously the pro...
FTDCS
1997
IEEE
15 years 1 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
SPIN
2005
Springer
15 years 2 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
ACTA
2010
14 years 9 months ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...