1567 search results - page 4 / 314 » A Mechanized Model of the Theory of Objects |
HICSS
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
MODELLIERUNG
1998
13 years 6 months ago
1998
In most object-oriented languages and systems, objects must belong to a single most specific class. Relaxing this requirement, also known as role modeling, has been proposed by sev...
DAGSTUHL
2010
13 years 6 months ago
2010
The display of surfaces and solids has usually been restricted to the domain of scientific visualization; however, little work has been done on the visualization of surfaces and s...
FMCO
2005
Springer
13 years 11 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
FM
1999
Springer
13 years 9 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...