AVL trees revisited: a case study in SPECTRUM
Abstract: "The goal of this paper is to present a way of developing software within the axiomatic specification language SPECTRUM. We advocate a development approach which is organized in four stages: requirement specification, design specification, executable specification and functional progr...
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
München
1994
|
| Schriftenreihe: | Technische Universität <München>: TUM-I
9428 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The goal of this paper is to present a way of developing software within the axiomatic specification language SPECTRUM. We advocate a development approach which is organized in four stages: requirement specification, design specification, executable specification and functional program. The concept of AVL trees serves as example for presenting this approach." |
| Beschreibung: | 25 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010372274 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 950829s1994 gw t||| 00||| ger d | ||
| 016 | 7 | |a 945201168 |2 DE-101 | |
| 035 | |a (OCoLC)722669728 | ||
| 035 | |a (DE-599)BVBBV010372274 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29T |a DE-12 |a DE-91G | ||
| 088 | |a TUM I 9428 | ||
| 245 | 1 | 0 | |a AVL trees revisited |b a case study in SPECTRUM |c R. Hettler, ... |
| 264 | 1 | |a München |c 1994 | |
| 300 | |a 25 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9428 | |
| 520 | 3 | |a Abstract: "The goal of this paper is to present a way of developing software within the axiomatic specification language SPECTRUM. We advocate a development approach which is organized in four stages: requirement specification, design specification, executable specification and functional program. The concept of AVL trees serves as example for presenting this approach." | |
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Functional programming languages | |
| 700 | 1 | |a Hettler, Rudolf |e Sonstige |4 oth | |
| 710 | 2 | |a Technische Universität München |b Institut für Informatik |e Sonstige |0 (DE-588)2042305-6 |4 oth | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9428 |w (DE-604)BV006185376 |9 9428 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006905222 | ||
Datensatz im Suchindex
| _version_ | 1804124796506603520 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV010372274 |
| ctrlnum | (OCoLC)722669728 (DE-599)BVBBV010372274 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01486nam a2200349 cb4500</leader><controlfield tag="001">BV010372274</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950829s1994 gw t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">945201168</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)722669728</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010372274</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-29T</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9428</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">AVL trees revisited</subfield><subfield code="b">a case study in SPECTRUM</subfield><subfield code="c">R. Hettler, ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25 S.</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">Technische Universität <München>: TUM-I</subfield><subfield code="v">9428</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The goal of this paper is to present a way of developing software within the axiomatic specification language SPECTRUM. We advocate a development approach which is organized in four stages: requirement specification, design specification, executable specification and functional program. The concept of AVL trees serves as example for presenting this approach."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming languages</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hettler, Rudolf</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Technische Universität München</subfield><subfield code="b">Institut für Informatik</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2042305-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9428</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9428</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006905222</subfield></datafield></record></collection> |
| id | DE-604.BV010372274 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:51:21Z |
| institution | BVB |
| institution_GND | (DE-588)2042305-6 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006905222 |
| oclc_num | 722669728 |
| open_access_boolean | |
| owner | DE-29T DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-12 DE-91G DE-BY-TUM |
| physical | 25 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | AVL trees revisited a case study in SPECTRUM R. Hettler, ... München 1994 25 S. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9428 Abstract: "The goal of this paper is to present a way of developing software within the axiomatic specification language SPECTRUM. We advocate a development approach which is organized in four stages: requirement specification, design specification, executable specification and functional program. The concept of AVL trees serves as example for presenting this approach." Computer software Development Functional programming languages Hettler, Rudolf Sonstige oth Technische Universität München Institut für Informatik Sonstige (DE-588)2042305-6 oth Technische Universität <München>: TUM-I 9428 (DE-604)BV006185376 9428 |
| spellingShingle | AVL trees revisited a case study in SPECTRUM Technische Universität <München>: TUM-I Computer software Development Functional programming languages |
| title | AVL trees revisited a case study in SPECTRUM |
| title_auth | AVL trees revisited a case study in SPECTRUM |
| title_exact_search | AVL trees revisited a case study in SPECTRUM |
| title_full | AVL trees revisited a case study in SPECTRUM R. Hettler, ... |
| title_fullStr | AVL trees revisited a case study in SPECTRUM R. Hettler, ... |
| title_full_unstemmed | AVL trees revisited a case study in SPECTRUM R. Hettler, ... |
| title_short | AVL trees revisited |
| title_sort | avl trees revisited a case study in spectrum |
| title_sub | a case study in SPECTRUM |
| topic | Computer software Development Functional programming languages |
| topic_facet | Computer software Development Functional programming languages |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT hettlerrudolf avltreesrevisitedacasestudyinspectrum AT technischeuniversitatmuncheninstitutfurinformatik avltreesrevisitedacasestudyinspectrum |