2102 search results - page 16 / 421 » A Relational Model for Object-Oriented Designs |
106
click to vote
LOPSTR
2007
Springer
15 years 3 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...
PADS
2003
ACM
15 years 2 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
109
click to vote
IWACA
1994
15 years 1 months ago
1994
Abstract. Object-oriented design principles map well onto protocol implementations because protocols essentially manipulate two structures--packets and the states of the endpoints....