1314 search results - page 58 / 263 » Validation of Object Oriented Models using Animation |
101
Voted
FPCA
1989
15 years 4 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
118
Voted
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
104
click to vote
PADS
2003
ACM
15 years 5 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...
IVC
2000
15 years 10 days ago
2000
Rule-based systems employed to model complex object behaviours, do not necessarily provide a realistic portrayal of true behaviour. To capture the real characteristics in a specif...
117
Voted
ESORICS
1998
Springer
15 years 4 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...