738 search results - page 8 / 148 » Object Orientation and Formal Techniques |
FMCO
2005
Springer
15 years 4 months ago
2005
Springer
CODES
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
WCRE
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
ZUM
2005
Springer
15 years 4 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
AOSE
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...