UTP By Example: Designs

JAMES Charles Paul Woodcock; Simon David Foster

doi:10.1007/978-3-319-56841-6_2

UTP By Example: Designs

JAMES Charles Paul Woodcock, Simon David Foster

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English
Title of host publication	Engineering Trustworthy Software Systems
Subtitle of host publication	Second International School, SETSS 2016 Chongqing
Editors	Bowen Jonathan P., Zhiming Liu, Zili Zhang
Publisher	Springer
Pages	16-50
Number of pages	35
Volume	LNCS 10215
ISBN (Electronic)	9783319568416
ISBN (Print)	9783319568409
DOIs	https://doi.org/10.1007/978-3-319-56841-6_2
Publication status	Published - 6 Apr 2017

Bibliographical note

© Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Access to Document

10.1007/978-3-319-56841-6_2

SETSS_2016_paper_6
© Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details (no embargo)
Accepted author manuscript, 446 KB

Cite this

@inbook{cb1183cf594a40c9a5bfeff0ae5f68f5,

title = "UTP By Example: Designs",

author = "Woodcock, {JAMES Charles Paul} and Foster, {Simon David}",

note = "{\textcopyright} Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details",

year = "2017",

month = apr,

day = "6",

doi = "10.1007/978-3-319-56841-6_2",

language = "English",

isbn = "9783319568409",

volume = "LNCS 10215",

pages = "16--50",

editor = "{Jonathan P.}, Bowen and Zhiming Liu and Zili Zhang",

booktitle = "Engineering Trustworthy Software Systems",

publisher = "Springer",

address = "Germany",

}

TY - CHAP

T1 - UTP By Example

T2 - Designs

AU - Woodcock, JAMES Charles Paul

AU - Foster, Simon David

N1 - © Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

PY - 2017/4/6

Y1 - 2017/4/6

U2 - 10.1007/978-3-319-56841-6_2

DO - 10.1007/978-3-319-56841-6_2

M3 - Chapter (peer-reviewed)

SN - 9783319568409

VL - LNCS 10215

SP - 16

EP - 50

BT - Engineering Trustworthy Software Systems

A2 - Jonathan P., Bowen

A2 - Liu, Zhiming

A2 - Zhang, Zili

PB - Springer

ER -