Show simple item record

dc.contributor.authorBuchanan, M.
dc.contributor.authorDickerson, R.
dc.date.accessioned2010-07-20T14:13:43Z
dc.date.available2010-07-20T14:13:43Z
dc.date.issued1992
dc.identifier.citationBuchanan , M & Dickerson , R 1992 , CCS and object-oriented concepts . UH Computer Science Technical Report , vol. 140 , University of Hertfordshire .
dc.identifier.otherPURE: 98987
dc.identifier.otherPURE UUID: 64c8bc29-26fe-42c6-b049-c3989f027f76
dc.identifier.otherdspace: 2299/4674
dc.identifier.urihttp://hdl.handle.net/2299/4674
dc.description.abstractThe visibility of using CCS as a formal specification language for classes of objects is investigated. The class based object-oriented paradigm is assumed throughout. It is concluded that CCS can be used to specify classes of objects and that it is particularly well suited for describing classes in which the time-ordering of operations is important. Further work is needed to evaluate the use of CCS to describe a complete system. Sub-type inheritance can be expressed in CCS but at the expense of added complexity. Restriction inheritance can be expressed simply and clearly.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.titleCCS and object-oriented conceptsen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record