Practical formal software engineering: wanting the software you get
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2009
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXXIII, 339 S. graph. Darst. |
| ISBN: | 0521879035 9780521879033 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035584151 | ||
| 003 | DE-604 | ||
| 005 | 20230126 | ||
| 007 | t | ||
| 008 | 090625s2009 d||| |||| 00||| eng d | ||
| 015 | |a GBA8C6306 |2 dnb | ||
| 020 | |a 0521879035 |c (hbk.) : £35.00 |9 0-521-87903-5 | ||
| 020 | |a 9780521879033 |9 978-0-521-87903-3 | ||
| 035 | |a (OCoLC)636081091 | ||
| 035 | |a (DE-599)HBZHT015858875 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1051 |a DE-11 |a DE-703 | ||
| 050 | 0 | |a QA76.758 | |
| 082 | 0 | |a 005.1 |2 22 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Mills, Bruce |d 1962- |e Verfasser |0 (DE-588)138052735 |4 aut | |
| 245 | 1 | 0 | |a Practical formal software engineering |b wanting the software you get |c Bruce Mills |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2009 | |
| 300 | |a XXXIII, 339 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Software engineering |v Problems, exercises, etc. | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017639505&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017639505 | ||
Record in the Search Index
| _version_ | 1804139243559190528 |
|---|---|
| adam_text | Titel: Practical formal software engineering
Autor: Mills, Bruce
Jahr: 2009
Contents
Acknowledgments page xiii
Maxims xv
Preface xvii
Further Reading xxix
To the Teacher xxxi
To the Student xxxiii
Part 1 Fundamentals 1
1 Arithmetic 3
1.1 Natural numbers 4
1.2 Roman numerals 5
1.3 Choice of numerals 8
1.4 Tally systems 9
1.5 Hindu algorithms 10
1.6 Other bases 14
1.7 Irregular money 14
1.8 Numeration systems 15
1.9 Arithmetic algebra 18
2 Logic 24
2.1 Correct logic 25
2.2 Natural logic 26
2.3 Active logic 27
2.4 Logical terms 29
2.5 Modal logic 35
2.6 Propositional logic 36
vii
2.7 Predicate calculus 38
3 Algebra 43
3.1 Mathematical induction 44
3.2 Number systems 46
3.3 Abstract types 52
3.4 Set theory 54
4 Diagrams 65
4.1 Diagrams 66
4.2 Networks 67
4.3 Algebra 71
4.4 Computation 74
4.5 Relationship diagrams 76
4.6 Digital sprouts 77
4.7 Digital geometry 80
Part 2 Language 83
5 UML 85
5.1 Objects 86
5.2 Scenario 87
5.3 Diagram overview 98
6 OCL 103
6.1 OCL expressions 104
6.2 OCL scripts 108
6.3 The target machine 114
6.4 Correspondence 116
6.5 Replacement equality 118
7 Z 122
7.1 Z in the small 123
7.2 The Z operators 125
7.3 Z in the large 130
7.4 Foundations 135
8 Logic 141
8.1 Programming knights and knaves 142
8.2 A note on impurity 144
8.3 Programming with sets 144
8.4 Constraints on functions 153
8.5 Programming and mathematics 156
9 Java 160
9.1 Logic in Java 161
9.2 Logic of Java 164
9.3 Ghost expressions 167
9.4 Functional style 167
9.5 Lambda style 170
9.6 Folding 173
10 Game Exercises 177
10.1 The logic not the language 177
Part 3 Practice 185
11 Implementation 187
11.1 Tutorial manager 188
11.2 Preliminary relations 191
11.3 Examination manager 196
12 State Transformation 206
12.1 Java loop proving 207
12.2 Full correctness 213
12.3 A generic template 214
12.4 Recursion 217
13 Plain Text 221
13.1 Backus Naur form 222
13.2 Natural numbers 223
13.3 Integer numbers 228
13.4 Monomial in x 229
13.5 Polynomials in x 231
13.6 Commands 234
13.7 Data formats 236
13.8 Dirty details 237
13.9 Epilog 239
14 Natural Language 242
14.1 Compiling English 243
14.2 Structure from phonetics 253
14.3 Morpheme algebra 255
14.4 Generation and parsing 257
14.5 Conversation 258
15 Digital Geometry 261
15.1 The alchemists on the tundra 262
15.2 Meshing the surface 268
15.3 Interiors 272
15.4 A rustic brick wall 277
16 Building Dungeons 280
16.1 From scratch 281
16.2 Space, time, and creature 283
16.3 Creature protocol 288
16.4 The game science 291
17 Multiple Threads 298
17.1 Software networks 299
17.2 Thread interference 300
17.3 Mutual exclusion 301
17.4 Hardware protocols 304
17.5 Software protocols 306
17.6 Fairness 310
17.7 Semaphores and monitors 312
17.8 Block structure 312
17.9 Caution 315
18 Security 317
18.1 Secure software 318
18.2 Code injection 319
18.3 The paranoid programmer 323
18.4 Secure protocols 324
18.5 Computational cryptography 326
18.6 Proving it 327
18.7 Random numbers 329
18.8 Random strings 330
Index 335
|
| any_adam_object | 1 |
| author | Mills, Bruce 1962- |
| author_GND | (DE-588)138052735 |
| author_facet | Mills, Bruce 1962- |
| author_role | aut |
| author_sort | Mills, Bruce 1962- |
| author_variant | b m bm |
| building | Verbundindex |
| bvnumber | BV035584151 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)636081091 (DE-599)HBZHT015858875 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01570nam a2200409 c 4500</leader><controlfield tag="001">BV035584151</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230126 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090625s2009 d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA8C6306</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521879035</subfield><subfield code="c">(hbk.) : £35.00</subfield><subfield code="9">0-521-87903-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521879033</subfield><subfield code="9">978-0-521-87903-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)636081091</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT015858875</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1051</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</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="100" ind1="1" ind2=" "><subfield code="a">Mills, Bruce</subfield><subfield code="d">1962-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)138052735</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical formal software engineering</subfield><subfield code="b">wanting the software you get</subfield><subfield code="c">Bruce Mills</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXXIII, 339 S.</subfield><subfield code="b">graph. Darst.</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="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Problems, exercises, etc.</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=017639505&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-017639505</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV035584151 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:40:59Z |
| institution | BVB |
| isbn | 0521879035 9780521879033 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017639505 |
| oclc_num | 636081091 |
| open_access_boolean | |
| owner | DE-1051 DE-11 DE-703 |
| owner_facet | DE-1051 DE-11 DE-703 |
| physical | XXXIII, 339 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Mills, Bruce 1962- Verfasser (DE-588)138052735 aut Practical formal software engineering wanting the software you get Bruce Mills 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2009 XXXIII, 339 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Software engineering Software engineering Problems, exercises, etc. Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Software Engineering (DE-588)4116521-4 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017639505&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mills, Bruce 1962- Practical formal software engineering wanting the software you get Software engineering Software engineering Problems, exercises, etc. Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4151278-9 |
| title | Practical formal software engineering wanting the software you get |
| title_auth | Practical formal software engineering wanting the software you get |
| title_exact_search | Practical formal software engineering wanting the software you get |
| title_full | Practical formal software engineering wanting the software you get Bruce Mills |
| title_fullStr | Practical formal software engineering wanting the software you get Bruce Mills |
| title_full_unstemmed | Practical formal software engineering wanting the software you get Bruce Mills |
| title_short | Practical formal software engineering |
| title_sort | practical formal software engineering wanting the software you get |
| title_sub | wanting the software you get |
| topic | Software engineering Software engineering Problems, exercises, etc. Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Software engineering Software engineering Problems, exercises, etc. Software Engineering Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017639505&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT millsbruce practicalformalsoftwareengineeringwantingthesoftwareyouget |