1567 search results - page 34 / 314 » A Mechanized Model of the Theory of Objects |
107
click to vote
CSMR
1998
IEEE
15 years 5 months ago
1998
IEEE
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
140
click to vote
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
102
click to vote
ER
2006
Springer
15 years 5 months ago
2006
Springer
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
119
click to vote
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
133
click to vote
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...