HighSpec: A tool for building and checking OZTA models

Hdl Handle:
http://hdl.handle.net/10149/110724
Title:
HighSpec: A tool for building and checking OZTA models
Book Title:
Proceedings of the 28th international conference on software engineering
Authors:
Dong, J. S. (Jin Song); Hao, P. (Ping); Zhang, X. (Xian); Qin, S. (Shengchao)
Editors:
Osterweil, L. J. (Leon); Rombach, H. D. (Dieter); Soffa, M. L. (Mary Lou)
Affiliation:
Durham University
Citation:
Dong, J. S. et. al. (2006) 'HighSpec: A tool for building and checking OZTA models', 28th international conference on software engineering, Shanghai, China, May 20-28, 2006, in Osterweil, L. J., Rombach, H. D. and Soffa, M. L. (eds) Proceedings of the 28th international conference on software engineering. New York: ACM, pp.775-778.
Publisher:
ACM
Conference:
28th international conference on software engineering, Shanghai, China, May 20-28, 2006
Issue Date:
2006
URI:
http://hdl.handle.net/10149/110724
DOI:
10.1145/1134285.1134409
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
object-Z; structural design; timed automata; verification
ISSN:
0270-5257
ISBN:
9781595933751
Rights:
ACM allows authors' version of their own ACM-copyrighted work on their personal servers or on servers belonging to their employers. For full details see http://www.acm.org/publications/policies/RightsResponsibilities [Accessed 06/09/2010]
Citation Count:
0 [Scopus, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorDong, J. S. (Jin Song)en
dc.contributor.authorHao, P. (Ping)en
dc.contributor.authorZhang, X. (Xian)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.editorOsterweil, L. J. (Leon)en
dc.contributor.editorRombach, H. D. (Dieter)en
dc.contributor.editorSoffa, M. L. (Mary Lou)en
dc.date.accessioned2010-09-06T12:13:19Z-
dc.date.available2010-09-06T12:13:19Z-
dc.date.issued2006-
dc.identifier.isbn9781595933751-
dc.identifier.issn0270-5257-
dc.identifier.doi10.1145/1134285.1134409-
dc.identifier.urihttp://hdl.handle.net/10149/110724-
dc.language.isoenen
dc.publisherACMen
dc.rightsACM allows authors' version of their own ACM-copyrighted work on their personal servers or on servers belonging to their employers. For full details see http://www.acm.org/publications/policies/RightsResponsibilities [Accessed 06/09/2010]en
dc.subjectobject-Zen
dc.subjectstructural designen
dc.subjecttimed automataen
dc.subjectverificationen
dc.titleHighSpec: A tool for building and checking OZTA modelsen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham Universityen
dc.title.bookProceedings of the 28th international conference on software engineeringen
dc.identifier.conference28th international conference on software engineering, Shanghai, China, May 20-28, 2006en
ref.citationcount0 [Scopus, 06/09/2010]en
or.citation.harvardDong, J. S. et. al. (2006) 'HighSpec: A tool for building and checking OZTA models', 28th international conference on software engineering, Shanghai, China, May 20-28, 2006, in Osterweil, L. J., Rombach, H. D. and Soffa, M. L. (eds) Proceedings of the 28th international conference on software engineering. New York: ACM, pp.775-778.-
prism.startingPage775-
prism.endingPage778-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.