Hdl Handle:
http://hdl.handle.net/10149/143870
Title:
Programming phase: Formal methods
Book Title:
Encyclopedia of software engineering
Authors:
Paige, R. F. (Richard); Woodcock, J. C. P. (Jim); Brooke, P. J. (Phillip); Cavalcanti, A. (Ana)
Editors:
Laplante, P. A. (Phillip)
Affiliation:
University of Teesside. School of Computing.
Citation:
Paige, R. F. et. al. (2010) 'Programming phase: Formal methods', in Laplante, P. A. (ed) Encyclopedia of software engineering. Taylor & Francis
Publisher:
Taylor & Francis
Issue Date:
24-Nov-2010
URI:
http://hdl.handle.net/10149/143870
Additional Links:
http://www.crcpress.com/product/isbn/9781420059779
Type:
Book Chapter
Language:
en
Keywords:
formal methods; specification; programming; engineering life cycle; software systems
ISSN:
9781420059779
Citation Count:
0 [Web of Science and Scopus, 04/10/2011]

Full metadata record

DC FieldValue Language
dc.contributor.authorPaige, R. F. (Richard)en
dc.contributor.authorWoodcock, J. C. P. (Jim)en
dc.contributor.authorBrooke, P. J. (Phillip)en
dc.contributor.authorCavalcanti, A. (Ana)en
dc.contributor.editorLaplante, P. A. (Phillip)en
dc.date.accessioned2011-10-04T08:14:11Z-
dc.date.available2011-10-04T08:14:11Z-
dc.date.issued2010-11-24-
dc.identifier.issn9781420059779-
dc.identifier.urihttp://hdl.handle.net/10149/143870-
dc.language.isoenen
dc.publisherTaylor & Francisen
dc.relation.urlhttp://www.crcpress.com/product/isbn/9781420059779en
dc.subjectformal methodsen
dc.subjectspecificationen
dc.subjectprogrammingen
dc.subjectengineering life cycleen
dc.subjectsoftware systemsen
dc.titleProgramming phase: Formal methodsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.bookEncyclopedia of software engineeringen
ref.citationcount0 [Web of Science and Scopus, 04/10/2011]en
or.citation.harvardPaige, R. F. et. al. (2010) 'Programming phase: Formal methods', in Laplante, P. A. (ed) Encyclopedia of software engineering. Taylor & Francisen
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.