loading...
The role of secondary attributes in formal object modelling
Ft. Lauderdale, Florida November 06-November 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479299First IEEE International Conference o ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Jin Dong Song, G. Rose, R. Duke, "The role of secondary attributes in formal object modelling," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 31, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.1995.479299,
author = {Jin Dong Song and G. Rose and R. Duke},
title = {The role of secondary attributes in formal object modelling},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7123-8},
pages = {31},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479299},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - The role of secondary attributes in formal object modelling
SN - 0-8186-7123-8
SP
EP
A1 - Jin Dong Song,
A1 - G. Rose,
A1 - R. Duke,
PY - 1995
KW - formal specification; object-oriented programming; attribute grammars; secondary attributes role; formal object modelling; formal specification; secondary attributes; formal object-oriented specification
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
Jin Dong Song, Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
G. Rose, Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
R. Duke, Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
When modelling a large and complex system, clarity of the specification becomes an important factor. In object-oriented specification, the states of individual objects are captured by the values of their attributes. Frequently however, there are dependencies between the attributes of an object. An appropriate indication of which attributes are primary (independent) and which are secondary (dependent) can add significantly to clarity. This paper details the notion of secondary attributes, their roles and implications in formal object-oriented specification.
Index Terms:
formal specification; object-oriented programming; attribute grammars; secondary attributes role; formal object modelling; formal specification; secondary attributes; formal object-oriented specification
Citation:
Jin Dong Song, G. Rose, R. Duke, "The role of secondary attributes in formal object modelling," iceccs, pp.31, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.