738 search results - page 64 / 148 » Object Orientation and Formal Techniques |
163
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
167
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
156
click to vote
ROOM
2000
15 years 7 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
199
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
247
click to vote
VLDB
2002
ACM
16 years 6 months ago
2002
ACM
Abstract. We propose an indexing technique for the fast retrieval of objects in 2D images based on similarity between their boundary shapes. Our technique is robust in the presence...