Sciweavers

ICECCS
1995
IEEE
114views Hardware» more  ICECCS 1995»
14 years 4 months ago
The role of secondary attributes in formal object modelling
When modelling a large and complex system, clarzty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captu...
Jin Song Dong, Gordon A. Rose, Roger Duke