loading...
Contribution of object-oriented methodologies to the specification of complex systems
Ft. Lauderdale, Florida November 06-November 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479326First 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 
 
D. Ramazani, "Contribution of object-oriented methodologies to the specification of complex systems," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 183, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.1995.479326,
author = {D. Ramazani},
title = {Contribution of object-oriented methodologies to the specification of complex systems},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7123-8},
pages = {183},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479326},
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 - Contribution of object-oriented methodologies to the specification of complex systems
SN - 0-8186-7123-8
SP
EP
A1 - D. Ramazani,
PY - 1995
KW - formal specification; object-oriented methods; large-scale systems; object-oriented methodologies; composite objects; complex systems; specifier; formal specifications
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
D. Ramazani, Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
We use the analogy between composite objects and complex systems to assess the suitability of object-oriented methodologies for the specification of complex systems. Experience with existing methodologies leads to the proposal of a new approach to the description of composite objects. In addition, we also explore issues related to the specification of complex systems such as the role of the specifier, the kinds of formal specifications, etc.
Index Terms:
formal specification; object-oriented methods; large-scale systems; object-oriented methodologies; composite objects; complex systems; specifier; formal specifications
Citation:
D. Ramazani, "Contribution of object-oriented methodologies to the specification of complex systems," iceccs, pp.183, 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.