1567 search results - page 4 / 314 » A Mechanized Model of the Theory of Objects |
64
Voted
HICSS
2002
IEEE
15 years 4 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...
126
click to vote
MODELLIERUNG
1998
15 years 29 days 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...
105
click to vote
DAGSTUHL
2010
15 years 1 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
15 years 5 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
15 years 3 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...