738 search results - page 19 / 148 » Object Orientation and Formal Techniques |
102
click to vote
DOOD
1993
Springer
15 years 3 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
98
Voted
DEXA
1994
Springer
15 years 3 months ago
1994
Springer
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. We have integrated real-time, object-oriented, semantic and ...
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...
84
Voted
ECOOP
2005
Springer
15 years 4 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
ERSA
2006
15 years 8 days ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...