41 search results - page 3 / 9 » Behavioural Subtyping and Property Preservation |
DAGSTUHL
2004
13 years 7 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
ENTCS
2002
13 years 5 months ago
2002
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
ICFP
2006
ACM
14 years 5 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
SPIN
2005
Springer
13 years 11 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...
SCALESPACE
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. In this paper we investigate a family of partial di erential equations (PDEs) for image processing which can be regarded as isotropic nonlinear di usion with an additiona...