Systems for computer aided specification, development and verification:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Kiel
Inst. für Informatik und Praktische Math.
1994
|
| Schriftenreihe: | Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
9416 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VI, 192 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011359012 | ||
| 003 | DE-604 | ||
| 005 | 19980520 | ||
| 007 | t | ||
| 008 | 970521s1994 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 950278246 |2 DE-101 | |
| 035 | |a (OCoLC)75725621 | ||
| 035 | |a (DE-599)BVBBV011359012 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91 | ||
| 084 | |a DAT 704f |2 stub | ||
| 245 | 1 | 0 | |a Systems for computer aided specification, development and verification |c Bettina Buth ; Rudolf Berghammer (eds.) |
| 264 | 1 | |a Kiel |b Inst. für Informatik und Praktische Math. |c 1994 | |
| 300 | |a VI, 192 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel |v 9416 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Automatische Programmierung |0 (DE-588)4143702-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 0 | 1 | |a Automatische Programmierung |0 (DE-588)4143702-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Buth, Bettina |e Sonstige |4 oth | |
| 810 | 2 | |a Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel |t Bericht |v 9416 |w (DE-604)BV000011623 |9 9416 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007633773&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007633773 | ||
Datensatz im Suchindex
| _version_ | 1804125869830045696 |
|---|---|
| adam_text | Contents
Computer-
Aided Specification and Verification
Verification of Code Generator Specifications With PAMELA
1
Bettina
Buth
Strategy-Based Program Synthesis With IOSS
16
Maritta Heisel, Thomas
Santen,
Dominik Zimmermann
Interactive Correctness Proofs for Software Modules Using KIV
31
Wolfgang
Reif.
Gerhard Schellhorn, Kurt Stenzel
Deduktion
in the Verification Support Environment (VSE)
47
Dieter Hutter, Bruno
Langenstein, Claus Sengler,
Werner
Stephan,
Andreas
Wolpers
Machine Support of Relation Algebra
Computer-Aided Manipulation of Relational Expressions and Formulae Using
RALF 62
Rudolf
Berghammer,
Claudia Hattensperger
Program Verification With RELVIEW
79
Michael Mint
er
Systems for Algebraic Specifications
Mechanized Inductive Proof of Properties of a Simple Code Optimizer
91
Alfons Gtser
Inside TIP: Working Method of an Inductive Theorem
Prover
116
Lirich Fraus.
Alexander
Knapp
Behavioural Program Development With the
ISAR
System
140
Bernhard
Bauer. Rolf Hennicktr
Program Transformation Systems
The Higher-Object Programming System HOPS
154
Amt Bayer.
Wolfram
Kahl
Transformational Program Development Using CIP-S
172
Ton Vulhnghs
Exchange of Experiences and Discussion
Systems for Computer-Aided Program Development in Teaching: Some Experiences
187
Carsten Ehlers. Sönkf Magnussen
Program Systems for Computer-Based Software Development and Verification
-
A
Statement From Industry
190
Jörg
Ptltsku
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011359012 |
| classification_tum | DAT 704f |
| ctrlnum | (OCoLC)75725621 (DE-599)BVBBV011359012 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01741nam a2200397 cb4500</leader><controlfield tag="001">BV011359012</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980520 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970521s1994 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950278246</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75725621</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011359012</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-12</subfield><subfield code="a">DE-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 704f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Systems for computer aided specification, development and verification</subfield><subfield code="c">Bettina Buth ; Rudolf Berghammer (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Kiel</subfield><subfield code="b">Inst. für Informatik und Praktische Math.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 192 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="490" ind1="1" ind2=" "><subfield code="a">Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel</subfield><subfield code="v">9416</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatische Programmierung</subfield><subfield code="0">(DE-588)4143702-0</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Automatische Programmierung</subfield><subfield code="0">(DE-588)4143702-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Buth, Bettina</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel</subfield><subfield code="t">Bericht</subfield><subfield code="v">9416</subfield><subfield code="w">(DE-604)BV000011623</subfield><subfield code="9">9416</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=007633773&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-007633773</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV011359012 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:08:25Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007633773 |
| oclc_num | 75725621 |
| open_access_boolean | |
| owner | DE-12 DE-91 DE-BY-TUM |
| owner_facet | DE-12 DE-91 DE-BY-TUM |
| physical | VI, 192 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Inst. für Informatik und Praktische Math. |
| record_format | marc |
| series2 | Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel |
| spelling | Systems for computer aided specification, development and verification Bettina Buth ; Rudolf Berghammer (eds.) Kiel Inst. für Informatik und Praktische Math. 1994 VI, 192 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel 9416 Literaturangaben Automatische Programmierung (DE-588)4143702-0 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Korrektheit (DE-588)4240223-2 s Automatische Programmierung (DE-588)4143702-0 s DE-604 Buth, Bettina Sonstige oth Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel Bericht 9416 (DE-604)BV000011623 9416 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007633773&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Systems for computer aided specification, development and verification Automatische Programmierung (DE-588)4143702-0 gnd Korrektheit (DE-588)4240223-2 gnd |
| subject_GND | (DE-588)4143702-0 (DE-588)4240223-2 (DE-588)1071861417 |
| title | Systems for computer aided specification, development and verification |
| title_auth | Systems for computer aided specification, development and verification |
| title_exact_search | Systems for computer aided specification, development and verification |
| title_full | Systems for computer aided specification, development and verification Bettina Buth ; Rudolf Berghammer (eds.) |
| title_fullStr | Systems for computer aided specification, development and verification Bettina Buth ; Rudolf Berghammer (eds.) |
| title_full_unstemmed | Systems for computer aided specification, development and verification Bettina Buth ; Rudolf Berghammer (eds.) |
| title_short | Systems for computer aided specification, development and verification |
| title_sort | systems for computer aided specification development and verification |
| topic | Automatische Programmierung (DE-588)4143702-0 gnd Korrektheit (DE-588)4240223-2 gnd |
| topic_facet | Automatische Programmierung Korrektheit Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007633773&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000011623 |
| work_keys_str_mv | AT buthbettina systemsforcomputeraidedspecificationdevelopmentandverification |