Refinement in Z and object-Z: foundations and advanced applications
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong
Springer
2001
|
| Schriftenreihe: | Formal approaches to computing and information technology
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 449 - 460 |
| Beschreibung: | XVIII, 466 S. graph. Darst. : 24 cm |
| ISBN: | 185233245X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013686532 | ||
| 003 | DE-604 | ||
| 005 | 20071009 | ||
| 007 | t | ||
| 008 | 010410s2001 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 960678115 |2 DE-101 | |
| 020 | |a 185233245X |9 1-85233-245-X | ||
| 035 | |a (OCoLC)248176646 | ||
| 035 | |a (DE-599)BVBBV013686532 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-634 | ||
| 050 | 0 | |a QA76.73.Z2 | |
| 082 | 0 | |a 005.13/3 |2 21 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Derrick, John |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Refinement in Z and object-Z |b foundations and advanced applications |c John Derrick and Eerke Boiten |
| 264 | 1 | |a London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong |b Springer |c 2001 | |
| 300 | |a XVIII, 466 S. |b graph. Darst. : 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Formal approaches to computing and information technology | |
| 500 | |a Literaturverz. S. 449 - 460 | ||
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Z (Computer program language) | |
| 650 | 0 | 7 | |a Object-Z |0 (DE-588)4640268-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verfeinerung |0 (DE-588)4267759-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Z |g Programmiersprache |0 (DE-588)4225739-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Z |g Programmiersprache |0 (DE-588)4225739-6 |D s |
| 689 | 0 | 1 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Object-Z |0 (DE-588)4640268-8 |D s |
| 689 | 1 | 1 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 2 | 1 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 2 | 2 | |a Object-Z |0 (DE-588)4640268-8 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Boiten, Eerke |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009352859&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009352859 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804128501013413888 |
|---|---|
| adam_text | Contents
Part I. Refining
Z
Specifications
1.
An Introduction to
Z
..................................... 3
1.1
Z:
A Language for Specifying Systems
..................... 3
1.2
Predicate Logic and Set Theory
.......................... 4
1.3
Types, Declarations and Abbreviations
.................... 7
1.3.1
Types
........................................... 7
1.3.2
Axiomatic Definitions
............................. 9
1.3.3
Abbreviations
.................................... 10
1.4
Relations, Functions, Sequences and Bags
................. 10
1.4.1
Relations
........................................ 11
1.4.2
Functions
....................................... 14
1.4.3
Sequences
....................................... 16
1.4.4
Bags
............................................ 18
1.5 Schemas............................................... 18
1.5.1
Schema Syntax
................................... 19
1.5.2
Schema Inclusion
................................. 20
1.5.3
Decorations and Conventions
...................... 21
1.5.4
States, Operations and ADTs
...................... 22
1.5.5
The Schema Calculus
............................. 25
1.5.6 Schemas
as Declarations
.......................... 33
1.5.7 Schemas
as Predicates
............................ 35
1.5.8 Schemas
as Types
................................ 35
1.5.9
Schema Equality
................................. 37
1.6
An Example Refinement
................................. 37
1.7
What Does a Z Specification Mean?
...................... 42
1.8
The
Z
Standard
........................................ 42
1.9
Tool Support
.......................................... 44
1.10
Bibliographical Notes
.................-.................. 44
2.
Simple Refinement
....................................... 47
2.1
What is Refinement?
.................................... 47
2.2
Operation Refinement
................................... 50
2.3
From Concrete to Abstract Data Types
................... 55
2.4
Establishing and Imposing Invariants
..................... 55
xiv Contents
2.4.1
Establishing invariants
............................ 56
2.4.2
Imposing Invariants
............................... 57
2.5
Example: London Underground
.......................... 57
2.6
Bibliographical Notes
................................... 61
3.
Data Refinement and Simulations
........................ 63
3.1.
Programs and Observations for ADTs
..................... 63
3.2
Upward and Downward Simulations
....................... 67
3.3
Dealing with Partial Relations
........................... 75
3.4
Bibliographical Notes
................................... 82
4.
Refinement in
Z
.......................................... 85
4.1
The Relational Basis of a Z Specification
.................. 85
4.2
Deriving Downward Simulation in
Z
...................... 88
4.3
Deriving Upward Simulation in
Z
......................... 92
4.4
Embedding Inputs and Outputs
.......................... 94
4.5
Deriving Simulation Rules in
Z
-
Again
................... 97
4.6
Examples
..............................................102
4.7
Reflections on the Embedding
............................113
4.7.1
Alternative Embeddings
........................... 113
4.7.2
Programs, Revisited
.............................. 115
4.8
Proving and Disproving Refinement
....................... 115
4.9
A Pitfall: Name Capture
................................ 116
4.10
Bibliographical Notes
................................... 118
5.
Calculating Refinements
..................................119
5.1
Downward Simulations
..................................122
5.1.1
Non-Functional Retrieve Relations
..................126
5.2
Upward Simulations
....................................131
5.3
Calculating Common Refinements
........................136
5.4
Bibliographical Notes
...................................140
6.
Promotion
................................................141
6.1
Example: Multiple Processors
............................141
6.2
Example: A Football League
.............................143
6.3
Free Promotions and Preconditions
.......................146
6.4
The Refinement of a Promotion
..........................148
6.4.1
Example: Refining Multiple Processors
..............148
6.4.2
Refinement Conditions for Promotion
...............150
6.5
Commonly Occurring Promotions
........................152
6.6
Calculating Refinements
.................................159
6.7
Upward Simulations of Promotions
.......................159
6.8
Bibliographical Notes
...................................160
Contents xv
7.
Testing and Refinement
..................................161
7.1
Deriving Tests from Specifications
........................162
7.2
Testing Refinements arid Implementations
.................168
7.2.1
Calculating Concrete Tests
........................169
7.2.2
Calculating Concrete States
.......................171
7.3
Building the Concrete Finite State Machine
................172
7.3.1
Using a Functional Retrieve Relation
...............172
7.3.2
Using a Non-Functional Retrieve Relation
...........178
7.4
Refinements due to Upward Simulations
...................181
7.5
Bibliographical Notes
...................................186
8.
A Single Simulation Rule
.................................189
8.1
Powersimułations
.......................................191
8.2
Application to
Z
.......................................195
8.3
Calculating
Powersimułations
............................200
8.4
Bibliographical Notes
...................................203
Part II. Interfaces and Operations: ADTs Viewed in an
Environment
9.
Refinement, Observation and Modification
................207
9.1
Grey Box Data Types
...................................209
9.2
Refinement of Grey Box Data Types
......................213
9.3
Display Boxes
...........................................218
9.4
Bibliographical Notes
...................................223
10.
IO
Refinement
............................................225
10.1
Examples of
10
Refinement: Safe and Unsafe
...........226
10.2
An Embedding for
10
Refinement
........................229
10.3
Intermezzo:
IO
Transformers
.............................232
104
Deriving
10
Refinement
.................................237
10.4.1
Initialisation
.....................................237
10.4.2
Finalisation
......................................239
10.4.3
Applicability
.....................................240
10.4.4
Correctness
......................................241
10.5
Conditions of
IO
Refinement
.............................243
10.6
Further Examples
......................................248
10.7
Bibliographical Notes
...................................251
J
1.
Weak Refinement
.........................................253
11.1
Using Stuttering Steps
..................................254
11.2
Weak Refinement
.......................................257
11.2.1
The Relational Context
...........................257
11.2.2
The Schema Calculus Context,
.....................259
xvi Contents
11.2.3
Further Examples
................................263
11.3
Properties
.............................................270
11.3.1
Weak Refinement is Not a Pre-Congruence
..........272
11.3.2
Internal Operations with Output
...................273
11.4
Upward Simulations
....................................274
11.5
Removing Internal Operations
...........................278
11.6
Divergence
............................................283
11.7
Bibliographical Notes
...................................284
12.
Non-
Atomic Refinement
..................................287
12.1
Non-Atomic Refinement via Stuttering Steps
...............288
12.1.1
Semantic Considerations
..........................289
12.1.2
Using the Schema Calculus
........................291
12.2
Non-
Atomic Refinement Without Stuttering
...............294
12.3
Using
IO
Transformations
...............................297
12.3.1
Semantic Considerations Again
.....................298
12.3.2
The
Z
Characterisation
...........................300
12.4
Further Examples
......................................302
12.5
Varying the Length of the Decomposition
..................307
12.6
Upward Simulations
....................................311
12.7
Properties and Discussion
...............................312
12.7.1
Non-interference
.................................312
12.7.2
Interruptive
.....................................315
12.7.3
Interleaving
......................................316
12.7.4
Further
Non-
Atomic Refinements
...................317
12.8
Bibliographical Notes
...................................317
13.
Case Study: A Digital and Analogue Watch
..............319
13.1
The Abstract Design
....................................319
13.2
Grey Box Specification and Refinement
...................321
13.3
An Analogue Watch: Using
IO
Refinement
.................323
13.4
Adding Seconds: Weak Refinement
.......................324
13.5
Resetting the Time: Using
Non-
Atomic Refinement
.........326
14.
Further Generalisations
...................................331
14.1
Alphabet. Extension
.....................................331
14.2
Alphabet Translation
...................................333
14.3
Compatibility of Generalisations
..........................334
14.4
Bibliographical Notes
...................................334
Contents xvii
Part
III. Object-Oriented
Refinement
15.
An Introduction to Object-Z
.............................337
15.1
Classes
................................................338
15.1.1
The Object-Z Schema Calculus
.....................341
15.1.2
Late Binding of Operations
........................342
15.1.3
Preconditions
....................................343
15.2
Inheritance
............................................343
15.2.1
Example: A Bank Account
........................343
15.3
Object Instantiation
....................................346
15.3.1
Modelling Aggregates
.............................347
15.3.2
Example: A Bank
................................349
15.3.3
Object Containment
..............................350
15.4
Communicating Objects
.................................351
15.5
Semantics
.............................................352
15.5.1
Polymorphism and Generic Parameters
..............354
15.6
Example: A Football League
.............................354
15.7
Bibliographical Notes
...................................356
16.
Refinement in Object-Z
....................................359
16.1
The Simulation Rules in Object-Z
........................359
16.2
Weak Refinement in Object-Z
............................365
16.3
Grey Box,
10,
and Non-Atomic Refinement in Object-Z
.....367
16.3.1
Non-
Atomic Refinement
...........................368
16.4
Refinement, Subtyping and Inheritance
....................373
16.5
Bibliographical Notes
...................................374
17.
Class Refinement
.........................................377
17.1
Objects and References
.................................377
17.1.1
Understanding Object Evolution
...................380
17.1.2
Verifying the Bank Refinement
.....................38
J
17.2
Class Simulations
.......................................383
17.3
Issues of Compositionality
...............................396
17.3.1
Promoting Refinements Between Object-Z Classes
.... 400
17.4
Bibliographical Notes
...................................403
Part IV.
Modelling
State and Behaviour
18.
Combining CSP and Object-Z
............................407
18.1
An Introduction to CSP
.................................407
18.1.1
The Semantics of CSP
............................411
18.2
Integrating CSP and Object-Z
...........................415
18.2.1
A Common Semantic Model
.......................415
xviii
Contents
18.3
Combining CSP Processes and Object-Z Classes
............416
18.4
Combining Object-Z Classes using CSP Operators
..........420
18.5
Bibliographical Notes
...................................424
19.
Refining CSP and Object-Z Specifications
................427
19.1
Refinement in CSP
.....................................427
19.1.1
Using Simulations with CSP Refinement
............429
19.2
Refinement of CSP Components
..........................430
19.3
Refinement of Object-Z Components
......................431
19.3.1
Example: The Lift Specification
....................433
19.4
Structural Refinements
..................................436
19.5
Bibliographical Notes
...................................437
20.
Conclusions
...............................................439
Glossary of Notation
.........................................443
Bibliography
..................................................449
Index
.........................................................461
|
| any_adam_object | 1 |
| author | Derrick, John Boiten, Eerke |
| author_facet | Derrick, John Boiten, Eerke |
| author_role | aut aut |
| author_sort | Derrick, John |
| author_variant | j d jd e b eb |
| building | Verbundindex |
| bvnumber | BV013686532 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.Z2 |
| callnumber-search | QA76.73.Z2 |
| callnumber-sort | QA 276.73 Z2 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 250 |
| ctrlnum | (OCoLC)248176646 (DE-599)BVBBV013686532 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02400nam a2200589 c 4500</leader><controlfield tag="001">BV013686532</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071009 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010410s2001 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">960678115</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">185233245X</subfield><subfield code="9">1-85233-245-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248176646</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013686532</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.Z2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Derrick, John</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Refinement in Z and object-Z</subfield><subfield code="b">foundations and advanced applications</subfield><subfield code="c">John Derrick and Eerke Boiten</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 466 S.</subfield><subfield code="b">graph. Darst. : 24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Formal approaches to computing and information technology</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 449 - 460</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Z (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Object-Z</subfield><subfield code="0">(DE-588)4640268-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Object-Z</subfield><subfield code="0">(DE-588)4640268-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Object-Z</subfield><subfield code="0">(DE-588)4640268-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boiten, Eerke</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009352859&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009352859</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV013686532 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:50:14Z |
| institution | BVB |
| isbn | 185233245X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009352859 |
| oclc_num | 248176646 |
| open_access_boolean | |
| owner | DE-384 DE-634 |
| owner_facet | DE-384 DE-634 |
| physical | XVIII, 466 S. graph. Darst. : 24 cm |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series2 | Formal approaches to computing and information technology |
| spelling | Derrick, John Verfasser aut Refinement in Z and object-Z foundations and advanced applications John Derrick and Eerke Boiten London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong Springer 2001 XVIII, 466 S. graph. Darst. : 24 cm txt rdacontent n rdamedia nc rdacarrier Formal approaches to computing and information technology Literaturverz. S. 449 - 460 Object-oriented programming (Computer science) Z (Computer program language) Object-Z (DE-588)4640268-8 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Verfeinerung (DE-588)4267759-2 gnd rswk-swf Z Programmiersprache (DE-588)4225739-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Z Programmiersprache (DE-588)4225739-6 s Verfeinerung (DE-588)4267759-2 s DE-604 Object-Z (DE-588)4640268-8 s Informatik (DE-588)4026894-9 s Software Engineering (DE-588)4116521-4 s 1\p DE-604 Boiten, Eerke Verfasser aut Digitalisierung UB Augsburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009352859&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Derrick, John Boiten, Eerke Refinement in Z and object-Z foundations and advanced applications Object-oriented programming (Computer science) Z (Computer program language) Object-Z (DE-588)4640268-8 gnd Informatik (DE-588)4026894-9 gnd Verfeinerung (DE-588)4267759-2 gnd Z Programmiersprache (DE-588)4225739-6 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4640268-8 (DE-588)4026894-9 (DE-588)4267759-2 (DE-588)4225739-6 (DE-588)4116521-4 |
| title | Refinement in Z and object-Z foundations and advanced applications |
| title_auth | Refinement in Z and object-Z foundations and advanced applications |
| title_exact_search | Refinement in Z and object-Z foundations and advanced applications |
| title_full | Refinement in Z and object-Z foundations and advanced applications John Derrick and Eerke Boiten |
| title_fullStr | Refinement in Z and object-Z foundations and advanced applications John Derrick and Eerke Boiten |
| title_full_unstemmed | Refinement in Z and object-Z foundations and advanced applications John Derrick and Eerke Boiten |
| title_short | Refinement in Z and object-Z |
| title_sort | refinement in z and object z foundations and advanced applications |
| title_sub | foundations and advanced applications |
| topic | Object-oriented programming (Computer science) Z (Computer program language) Object-Z (DE-588)4640268-8 gnd Informatik (DE-588)4026894-9 gnd Verfeinerung (DE-588)4267759-2 gnd Z Programmiersprache (DE-588)4225739-6 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Object-oriented programming (Computer science) Z (Computer program language) Object-Z Informatik Verfeinerung Z Programmiersprache Software Engineering |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009352859&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT derrickjohn refinementinzandobjectzfoundationsandadvancedapplications AT boiteneerke refinementinzandobjectzfoundationsandadvancedapplications |