Hdl Handle:
http://hdl.handle.net/10149/110734
Title:
Linking object-z with spec
Book Title:
Proceedings of the IEEE international conference on engineering of complex computer systems, ICECCS
Authors:
Qin, S. (Shengchao); He, G. (Guanhua)
Editors:
Werner, B. (Bob)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Qin, S. and He, G. (2007) 'Linking object-z with spec', 12th IEEE international conference on engineering complex computer systems, ICECCS 2007; Auckland, July 11-14 July 2007, in Werner, B. (ed) Proceedings. California: IEEE, pp.185-194.
Publisher:
IEEE
Conference:
12th IEEE international conference on engineering complex computer systems, ICECCS 2007; Auckland, July 11-14 July 2007
Issue Date:
2007
URI:
http://hdl.handle.net/10149/110734
DOI:
10.1109/ICECCS.2007.27
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
formal specification; object-Z; pre/post conditions; spec; verification
ISBN:
9780769528953
Rights:
Author can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]
Citation Count:
1 [Scopus, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorHe, G. (Guanhua)en
dc.contributor.editorWerner, B. (Bob)-
dc.date.accessioned2010-09-06T09:41:05Z-
dc.date.available2010-09-06T09:41:05Z-
dc.date.issued2007-
dc.identifier.isbn9780769528953-
dc.identifier.doi10.1109/ICECCS.2007.27-
dc.identifier.urihttp://hdl.handle.net/10149/110734-
dc.language.isoenen
dc.publisherIEEEen
dc.rightsAuthor can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]en
dc.subjectformal specificationen
dc.subjectobject-Zen
dc.subjectpre/post conditionsen
dc.subjectspecen
dc.subjectverificationen
dc.titleLinking object-z with specen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.title.bookProceedings of the IEEE international conference on engineering of complex computer systems, ICECCSen
dc.identifier.conference12th IEEE international conference on engineering complex computer systems, ICECCS 2007; Auckland, July 11-14 July 2007en
ref.citationcount1 [Scopus, 06/09/2010]en
or.citation.harvardQin, S. and He, G. (2007) 'Linking object-z with spec', 12th IEEE international conference on engineering complex computer systems, ICECCS 2007; Auckland, July 11-14 July 2007, in Werner, B. (ed) Proceedings. California: IEEE, pp.185-194.-
prism.startingPage185-
prism.endingPage194-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.