Comparison of formalisation approaches of UML class constructs in Z and object-Z

Nuno Amálio; Fiona Polack

doi:10.1007/3-540-44880-2_21

Comparison of formalisation approaches of UML class constructs in Z and object-Z

Nuno Amálio^*, Fiona Polack

^*Corresponding author for this work

University of York

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

18 Citations (SciVal)

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden
Publisher	Springer Verlag
Pages	339-358
Number of pages	20
ISBN (Print)	3540402535, 9783540402534
DOIs	https://doi.org/10.1007/3-540-44880-2_21
Publication status	Published (VoR) - 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2651
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Formalisation
Object-Z
Specification
UML
Z

Access to Document

10.1007/3-540-44880-2_21

Cite this

Amálio, N., & Polack, F. (2003). Comparison of formalisation approaches of UML class constructs in Z and object-Z. In D. Bert, J. P. Bowen, S. King, & M. Walden (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 339-358). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2651). Springer Verlag. https://doi.org/10.1007/3-540-44880-2_21

Amálio, Nuno ; Polack, Fiona. / Comparison of formalisation approaches of UML class constructs in Z and object-Z. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Didier Bert ; Jonathan P. Bowen ; Steve King ; Marina Walden. Springer Verlag, 2003. pp. 339-358 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{1ba8f518dc2f4613b3edd846dd39467d,

title = "Comparison of formalisation approaches of UML class constructs in Z and object-Z",

keywords = "Formalisation, Object-Z, Specification, UML, Z",

author = "Nuno Am{\'a}lio and Fiona Polack",

year = "2003",

doi = "10.1007/3-540-44880-2_21",

language = "English",

isbn = "3540402535",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "339--358",

editor = "Didier Bert and Bowen, {Jonathan P.} and Steve King and Marina Walden",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Amálio, N & Polack, F 2003, Comparison of formalisation approaches of UML class constructs in Z and object-Z. in D Bert, JP Bowen, S King & M Walden (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2651, Springer Verlag, pp. 339-358. https://doi.org/10.1007/3-540-44880-2_21

Comparison of formalisation approaches of UML class constructs in Z and object-Z. / Amálio, Nuno; Polack, Fiona.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Didier Bert; Jonathan P. Bowen; Steve King; Marina Walden. Springer Verlag, 2003. p. 339-358 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2651).

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

TY - CHAP

T1 - Comparison of formalisation approaches of UML class constructs in Z and object-Z

AU - Amálio, Nuno

AU - Polack, Fiona

PY - 2003

Y1 - 2003

KW - Formalisation

KW - Object-Z

KW - Specification

KW - UML

KW - Z

UR - http://www.scopus.com/inward/record.url?scp=35248881057&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=35248881057&partnerID=8YFLogxK

U2 - 10.1007/3-540-44880-2_21

DO - 10.1007/3-540-44880-2_21

M3 - Chapter

AN - SCOPUS:35248881057

SN - 3540402535

SN - 9783540402534

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 339

EP - 358

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Bert, Didier

A2 - Bowen, Jonathan P.

A2 - King, Steve

A2 - Walden, Marina

PB - Springer Verlag

ER -

Amálio N, Polack F. Comparison of formalisation approaches of UML class constructs in Z and object-Z. In Bert D, Bowen JP, King S, Walden M, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 339-358. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44880-2_21

Comparison of formalisation approaches of UML class constructs in Z and object-Z

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this