An object-oriented structuring for Z based on views

Nuno Amálio; Fiona Polack; Susan Stepney

doi:10.1007/11415787_16

An object-oriented structuring for Z based on views

Nuno Amálio^*, Fiona Polack, Susan Stepney

^*Corresponding author for this work

University of York

Research output: Contribution to journal › Conference article › peer-review

14 Citations (Scopus)

Original language	English
Pages (from-to)	262-278
Number of pages	17
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3455
DOIs	https://doi.org/10.1007/11415787_16
Publication status	Published (VoR) - 2005
Event	4th International Conference of B and Z Users, ZB 2005 - Guildford, United Kingdom Duration: 13 Apr 2005 → 15 Apr 2005

Keywords

Object-orientation
Z

Access to Document

10.1007/11415787_16

Cite this

@article{2504734134654f95bb71b3ae662f3106,

title = "An object-oriented structuring for Z based on views",

keywords = "Object-orientation, Z",

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

year = "2005",

doi = "10.1007/11415787\_16",

language = "English",

volume = "3455",

pages = "262--278",

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

issn = "0302-9743",

note = "4th International Conference of B and Z Users, ZB 2005 ; Conference date: 13-04-2005 Through 15-04-2005",

}

TY - JOUR

T1 - An object-oriented structuring for Z based on views

AU - Amálio, Nuno

AU - Polack, Fiona

AU - Stepney, Susan

PY - 2005

Y1 - 2005

KW - Object-orientation

KW - Z

UR - https://www.scopus.com/pages/publications/24644467803

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

U2 - 10.1007/11415787_16

DO - 10.1007/11415787_16

M3 - Conference article

AN - SCOPUS:24644467803

SN - 0302-9743

VL - 3455

SP - 262

EP - 278

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

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

T2 - 4th International Conference of B and Z Users, ZB 2005

Y2 - 13 April 2005 through 15 April 2005

ER -

An object-oriented structuring for Z based on views

Keywords

Access to Document

Other files and links

Fingerprint

Cite this