Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
de Gruyter
1995
|
| Schriftenreihe: | Programmierung komplexer Systeme
8 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 236 S. Ill. |
| ISBN: | 3110147645 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010283874 | ||
| 003 | DE-604 | ||
| 005 | 19951130 | ||
| 007 | t | ||
| 008 | 950619s1995 gw a||| m||| 00||| ger d | ||
| 016 | 7 | |a 944634222 |2 DE-101 | |
| 020 | |a 3110147645 |c Pp. |9 3-11-014764-5 | ||
| 035 | |a (OCoLC)845029948 | ||
| 035 | |a (DE-599)BVBBV010283874 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-20 |a DE-739 |a DE-19 |a DE-634 |a DE-11 | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a DAT 542d |2 stub | ||
| 084 | |a DAT 510d |2 stub | ||
| 100 | 1 | |a Baber, Robert Laurence |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit |c Robert Laurence Baber |
| 264 | 1 | |a Berlin [u.a.] |b de Gruyter |c 1995 | |
| 300 | |a XV, 236 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Programmierung komplexer Systeme |v 8 | |
| 502 | |a Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995 | ||
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programm |0 (DE-588)4047394-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Programm |0 (DE-588)4047394-6 |D s |
| 689 | 0 | 2 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 0 | 3 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Programmierung komplexer Systeme |v 8 |w (DE-604)BV002291981 |9 8 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006843254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006843254 | |
Datensatz im Suchindex
| _version_ | 1805086107803582464 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1.
EINLEITUNG
.
1
1.1
PROBLEMSTELLUNG
UND
LOESUNGSANSATZ
.
1
1.2
ZIELSETZUNG
UND
ABGRENZUNG
DES
THEMAS
.
6
1.3
THESEN
.
7
2.
BISHERIGE
ENTWICKLUNGEN
AUF
DEM
GEBIET
DER
PROGRAMMKORREKTHEITSBEWEIS
FUEHRUNG
.
8
2.1
HISTORISCHE
UEBERSICHT
.
8
2.1.1
DER
ANSATZ
VON
FLOYD
ZUR
PROGRAMMKORREKTHEITSBEWEISFUEHRUNG
.
8
2.1.2
DIE
ZUNEHMENDE
PROBLEMATIK
DER
SOFTWAREENTWICKLUNG
.
9
2.1.3
DIE
KORREKTHEITSANSAETZE
VON
HOARE,
DIJKSTRA
UND
MILLS
.
9
2.1.4
DIE
ENTWICKLUNG
VON
SPEZIFIKATIONSSPRACHEN
.
10
2.1.5
GRUNDSAETZLICHE
FRAGEN
ZUR
PROGRAMMKORREKTHEITSBEWEISFUEHRUNG
.
12
2.1.6
ANWENDUNGSORIENTIERUNG
DER
PROGRAMMKORREKTHEITSFACHLITERATUR
.
12
2.1.7
BEWEISFUEHRUNGSWERKZEUGE
.
13
2.1.8
OPERATIONALE,
DENOTATIONALE
UND
AXIOMATISCHE
PROGRAMMSEMANTIK
.
14
2.1.9
ALTERNATIVEN
ZUR
SOFTWAREQUALITAETSSICHERUNG
.
14
2.1.10
GRENZGEBIETE
DER
PROGRAMMKORREKTHEITSBEWEISFUEHRUNG
.
16
2.1.11
KORREKTHEITSBEWEISFUEHRUNG
UND
OBJEKTORIENTIERTE
PROGRAMMIERUNG
.
.
17
2.1.12
PROGRAMMKORREKTHEITSBEWEISE
UND
NORMEN
.
17
2.1.13
GEGENWAERTIGE
FORSCHUNGSPROJEKTE
.
17
2.1.14
KORREKTHEITSBEWEISFUEHRUNGSTECHNIKEN
IM
PRAKTISCHEN
EINSATZ
.
18
2.1.15
SCHLUSSBEMERKUNGEN
.
19
2.2
GEGENWAERTIGE
SITUATION
.
20
2.2.1
DER
GEGENSATZ
ZWISCHEN
THEORIE
UND
ANWENDUNGSPRAXIS
.
20
2.2.2
ANFORDERUNGEN
AN
EINEN
PRAXISGERECHTEN
ANSATZ
ZUR
PROGRAMMKORREKT
HEITSBEWEISFUEHRUNG
.
23
3.
EINE
PRAXISGERECHTE
THEORETISCHE
GRUNDLAGE
FUER
DIE
PROGRANUNKORREKTHEITS
BEWEISFUEHRUNG
.
28
3.1
GRUNDBEGRIFFE,
-BETRACHTUNGEN
UND
DEFINITIONEN
.
31
3.1.1
PROGRAMMVARIABLEN,
DATENUMGEBUNGEN
UND
AUSFUEHRUNGSGESCHICHTEN
.
31
3.1.2
WERTE
VON
VARIABLEN
UND
AUSDRUECKEN IN
DATENUMGEBUNGEN
.
32
3.1.3
PROGRAMMANWEISUNGEN
ALS
FUNKTIONEN
AUF
D
.
32
3.1.4
PROGRAMMANWEISUNGEN
ALS
FUNKTIONEN
AUF
D*
.
35
3.1.5
VORBEDINGUNGEN
UND
NACHBEDINGUNGEN
.
35
3.1.6
NACHBEDINGUNGEN
MIT
BEZUG
AUF
VORHERIGE
VARIABIENWERTE
.
38
XN
INHALTSVERZEICHNIS
3.2
ALLGEMEIN
GUELTIGE
SAETZE
(
"
BEWEISREGELN
"
)
.
39
3.2.1
STAERKUNG
EINER
VORBEDINGUNG,
SCHWAECHUNG
EINER
NACHBEDINGUNG
.
39
3.2.2
PROGRAMMANWEISUNGEN
UND
IHRE
ZUSAMMENSETZUNGEN
.
39
3.2.3
ZERLEGUNG
VON
VOR
UND
NACHBEDINGUNGEN
.
41
3.2.4
PROGRAMMSEGMENT,
UNTERPROGRAMM
.
41
3.2.5
BEWEISREGELN
FUER
STRIKTE,
HALBSTRIKTE
UND
UMFASSENDE
VORBEDINGUNGEN
42
3.3
KORREKTHEITSBEWEISFUEHRUNG
FUER
SEQUENTIELLE
PROGRAMME
.
44
3.3.1
VORAUSSETZUNGEN
.
44
3.3.2
VORGEHENSWEISE
OHNE
MASCHINELLE
UNTERSTUETZUNG
.
46
3.3.3
ANWENDUNGSBEISPIELE
.
48
3.3.4
POTENTIELLE
FALLEN
.
55
3.3.4.1
HERAUSNEHMEN
EINES
TERMS
AUS
EINER
REIHE
.
55
3.3.4.2
ZUWEISUNG
ZU
EINER
FELDVARIABLE
.
56
3.3.4.3
NICHT
DEFINIERTE
AUSDRUECKE
.
59
3.3.4.4
UNTERPROGRAMMAUFRUF
MIT
FORMALER
PARAMETERUEBERGABE
.
60
3.3.4.5
COMPUTERARITHMETIK
.
61
3.3.4.6
REKURSION
.
62
3.4
MATHEMATISCHE
ANFORDERUNGEN
AN
DEN
SOFTWAREENTWICKLER
.
63
3.4.1
VORKENNTNISSE
.
64
3.4.2
VERWENDETE
NOTATIONSFORMEN
.
65
3.5
STUFENWEISE
GESTALTUNGSMOEGLICHKEITEN
FUER
UNTERSCHIEDLICHE
ANWENDERKATE
GORIEN
.
66
3.5.1
MATHEMATISCHE
VORKENNTNISSE,
TERMINOLOGIE
UND
SCHREIBWEISE
.
67
3.5.2
INFORMELLE
GEGENUEBER
FORMELLE
ANWENDUNG
.
68
3.5.3
ABSTRAKTIONSGRAD
DER
SPEZIFIKATION
UND
AUFGABENSTELLUNG
.
71
4.
BEDEUTUNG
DER
KORREKTHEITSBEWEISFUEHRUNG
FUER
DIE
INGENIEUNNAESSIGE
NEUKON
STRUKTION
EINES
PROGRAMMS
.
74
4.1
AUS
DER
KORREKTHEITSBEWEISFUEHRUNG
SICH
ERGEBENDE
ANFORDERUNGEN
AN
UND
LEITLINIEN
FUER
DIE
KONSTRUKTION
.
75
4.2
ANSAETZE
UND
MOEGLICHKEITEN
ZUR
ABLEITUNG
VON
TEILEN
EINES
PROGRAMMS
.
79
4.3
KONSTRUKTIONSBEISPIEL
.
81
4.4
SPEZIFIKATIONEN
BEI
DER
KONSTRUKTION
UND
IM
KORREKTHEITSBEWEIS
.
85
4.5
ANFORDERUNGEN
AN
DIE
DOKUMENTATION
EINES
UNTERPROGRAMMS
.
88
5.
BEDEUTUNG
DER
KORREKTHEITSBEWEISFUEHRUNG
FUER
DIE
KONSTRUKTIONSAENDERUNG
IN
INSTABILER
UMGEBUNG
.
91
5.1
SPEZIFIKATIONEN
VON
UNTERPROGRAMMEN
.
92
5.2
EINGRENZUNG
DER
AUSWIRKUNGEN
EINER
AENDERUNG
.
95
5.3
KONSTRUKTIONSLEITLINIEN
FUER
DIE
"
AENDERUNGSFREUNDLICHKEIT
"
.
100
INHALTSVERZEICHNIS
XRN
6.
ANWENDUNGSAUFWAND,
VORAUSSETZUNGEN
UND
MASCHINELLE
UNTERSTUETZUNG
FUER
EINE
BREITERE
ANWENDUNGSAKZEPTANZ
.
102
6.1
LEMPHASE
.
103
6.2
PROGRAMMVERIFIKATION
.
104
6.2.1
MANUELLE
KORREKTHEITSBEWEISFUEHRUNG
.
105
6.2.2
MASCHINELLE
UNTERSTUETZUNG
.
108
6.3
PROGRAMMKONSTRUKTION
.
110
6.4
KONSTRUKTIONSAENDERUNG
.
111
7.
SPEZIELLE
ASPEKTE
DER
PROGRANMIKORREKTHEITSBEWEISFTTHRUNG
.
112
7.1
COMPUTERARITHMETIK
.
112
7.1.1
GANZZAHLENARITHMETIK
AUF
EINEM
BESCHRAENKTEN
INTERVALL
.
112
7.1.2
GLEITKOMMAARITHMETIK
.
115
7.2
NEBENLAEUFIGKEIT
AUS
DER
SICHT
DER
KORREKTHEITSBEWEISFUEHRUNG
.
120
7.2.1
WECHSELWIRKUNG
ZWISCHEN
NEBENLAEUFIGEN
PROZESSEN
IN
EINEM
KORREKT
HEITSBEWEIS
.
121
7.2.2
EIN
KORREKTHEITSBEWEIS
FUER
KOMMUNIKATION
ZWISCHEN
NEBENLAEUFIGEN
PROZESSEN
.
123
7.2.2.1
UEBERTRAGUNGSKANAL
OHNE
PUFFER
.
123
7.2.2.2
GEPUFFERTER
UEBERTRAGUNGSKANAL
.
133
7.2.3
VOLLSTAENDIGE
KORREKTHEIT
UND
VERKLEMMUNG/VERHUNGEM
(LASSEN)
.
.
.
136
7.3
OBJEKTORIENTIERTE
PROGRAMMIERUNG
AM
BEISPIEL
DER
OOP-SPRACHE
EIFFEL
.
.
.
137
7.3.1
KORREKTHEITSBEWEISFIIHRUNGSRELEVANTE
BESONDERHEITEN
VON
EIFFEL
.
138
7.3.1.1
VARIABLEN
UND
OBJEKTE
.
138
7.3.1.2
ROUTINEN
.
140
7.3.1.3
ZUGRIFFSEINSCHRAENKUNGEN
.
141
7.3.1.4
AUSNAHMEBEHANDLUNG
.
142
7.3.1.5
UNBESTIMMTE
BEZUEGE
AUF
VARIABLEN
UND
FUNKTIONEN
.
142
7.3.2
DIE
KORREKTHEITSBEZOGENEN
KONSTRUKTE
IN
EIFFEL
.
143
7.3.3
BEISPIEL
DER
KORREKTHEITSBEWEISFUEHRUNG
FUER
EINE
KLASSE
.
145
7.3.4
VERBESSERUNGS
UND
ERWEITERUNGSVORSCHLAEGE
ZU
DEN
KORREKTHEITSBE
ZOGENEN
KONSTRUKTEN IN
EIFFEL
.
152
8.
SCHLUSSFOLGERUNGEN
.
156
8.1
ERREICHTES
.
156
8.2
ALS
OFFEN
ERKANNTES
.
156
8.3
HANDLUNGSBEDARF
.
157
XIV
INHALTSVERZEICHNIS
ANHANG
1.
BEISPIELE
UNTERSCHIEDLICHER
SPEZIFIKATIONSSTUFEN
.
159
AL.L
KEMREAKTORUEBERWACHUNG
.
159
AL.
1.1
ALLGEMEINE
BESCHREIBUNG
DER
UEBERWACHUNGSAUFGABE
.
159
AL.
1.2
VDM-SPEZIFIKATIONEN
UNTERSCHIEDLICHER
ABSTRAKTIONSGRADE
.
160
AL.
1.3
ANWENDERORIENTIERTE
VORGEHENS
WEISE
ZUR
ERARBEITUNG
DER
SPEZIFI
KATION
.
162
AL.
2
KELLERSPEICHER
.
165
AL.
2.1
ABSTRAKTE
SPEZIFIKATIONEN
EINES
KELLERSPEICHERS
(FUNKTIONENSYSTEM)
.
165
AL.
2.2
ABSTRAKTE
SPEZIFIKATION
EINES
SYSTEMS
PARAMETERLOSER
UNTERPRO
GRAMME
.
165
AL.
2.3
SPEZIFIKATION
DURCH
VOR
UND
NACHBEDINGUNGEN
.
167
AL.
2.4
KONKRETE
SPEZIFIKATIONSSTUFE
1
EINES
UNTERPROGRAMMSYSTEMS
.
168
AL.
2.5
KONKRETE
SPEZIFIKATIONSSTUFE
2
EINES
UNTERPROGRAMMSYSTEMS
.
168
ANHANG
2.
DOKUMENTATIONSBEISPIEL
MIT
KORREKTHEITSBEWEIS
FUER
DEN
PROGRANUN
TEIL
"
AUFTEILEN
"
.
171
ANHANG
3.
EINIGE
FEHLERSCHRANKEN
FUER
GLEITKOMMAARITHMETIK
.
186
A3.1
DEFINITION
UND
AXIOME
EINES
GLEITKOMMAARITHMETIKSYSTEMS
.
186
A3.2
GENAUIGKEIT
DER
GLEITKOMMADARSTELLUNG
.
188
A3.3
GENAUIGKEIT
DER
GLEITKOMMAADDITION
.
189
A3.4
GENAUIGKEIT
DER
GLEITKOMMAMULTIPLIKATION
.
190
A3.5
RUNDUNGSEIGENARTEN
.
190
ANHANG
4.
KORREKTHEIT
EINES
REKURSIVEN
UNTERPROGRAMMS
.
191
LITERATUR
UND
QUELLENHINWEISE
.
201
LITERATURHINWEISE
.
201
PERSOENLICHE
KOMMUNIKATION
.
236 |
| any_adam_object | 1 |
| author | Baber, Robert Laurence |
| author_facet | Baber, Robert Laurence |
| author_role | aut |
| author_sort | Baber, Robert Laurence |
| author_variant | r l b rl rlb |
| building | Verbundindex |
| bvnumber | BV010283874 |
| classification_rvk | ST 120 ST 134 ST 230 ST 233 |
| classification_tum | DAT 542d DAT 510d |
| ctrlnum | (OCoLC)845029948 (DE-599)BVBBV010283874 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010283874</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951130</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950619s1995 gw a||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944634222</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110147645</subfield><subfield code="c">Pp.</subfield><subfield code="9">3-11-014764-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845029948</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010283874</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">ger</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-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</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 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baber, Robert Laurence</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit</subfield><subfield code="c">Robert Laurence Baber</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">de Gruyter</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 236 S.</subfield><subfield code="b">Ill.</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="1" ind2=" "><subfield code="a">Programmierung komplexer Systeme</subfield><subfield code="v">8</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Programmierung komplexer Systeme</subfield><subfield code="v">8</subfield><subfield code="w">(DE-604)BV002291981</subfield><subfield code="9">8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=006843254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006843254</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010283874 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T08:30:59Z |
| institution | BVB |
| isbn | 3110147645 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006843254 |
| oclc_num | 845029948 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-20 DE-739 DE-19 DE-BY-UBM DE-634 DE-11 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-20 DE-739 DE-19 DE-BY-UBM DE-634 DE-11 |
| physical | XV, 236 S. Ill. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | de Gruyter |
| record_format | marc |
| series | Programmierung komplexer Systeme |
| series2 | Programmierung komplexer Systeme |
| spelling | Baber, Robert Laurence Verfasser aut Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit Robert Laurence Baber Berlin [u.a.] de Gruyter 1995 XV, 236 S. Ill. txt rdacontent n rdamedia nc rdacarrier Programmierung komplexer Systeme 8 Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Programm (DE-588)4047394-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Softwareentwicklung (DE-588)4116522-6 s Programm (DE-588)4047394-6 s Korrektheit (DE-588)4240223-2 s Beweis (DE-588)4132532-1 s DE-604 Programmverifikation (DE-588)4135576-3 s Programmierung komplexer Systeme 8 (DE-604)BV002291981 8 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006843254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Baber, Robert Laurence Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit Programmierung komplexer Systeme Softwareentwicklung (DE-588)4116522-6 gnd Programm (DE-588)4047394-6 gnd Programmverifikation (DE-588)4135576-3 gnd Korrektheit (DE-588)4240223-2 gnd Beweis (DE-588)4132532-1 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4047394-6 (DE-588)4135576-3 (DE-588)4240223-2 (DE-588)4132532-1 (DE-588)4113937-9 |
| title | Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit |
| title_auth | Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit |
| title_exact_search | Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit |
| title_full | Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit Robert Laurence Baber |
| title_fullStr | Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit Robert Laurence Baber |
| title_full_unstemmed | Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit Robert Laurence Baber |
| title_short | Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit |
| title_sort | praktische anwendbarkeit mathematisch rigoroser methoden zum sicherstellen der programmkorrektheit |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Programm (DE-588)4047394-6 gnd Programmverifikation (DE-588)4135576-3 gnd Korrektheit (DE-588)4240223-2 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Softwareentwicklung Programm Programmverifikation Korrektheit Beweis Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006843254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV002291981 |
| work_keys_str_mv | AT baberrobertlaurence praktischeanwendbarkeitmathematischrigorosermethodenzumsicherstellenderprogrammkorrektheit |