Modularizing the formal description of a database system:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Manchester
Univ.
1990
|
| Schriftenreihe: | Technical report series / University of Manchester, Department of Computer Science.
|
| Schlagwörter: | |
| Abstract: | Abstract: "Specification languages have been proposed, and are being developed, which offer ways of splitting specifications into separate components or modules. It is important that such languages are able to cope with modularizations which are required by realistic specification tasks. This paper offers a challenge problem in modularization based on a description is of an existing database system. The chosen modularization is motivated by the need to separate coherent units about which useful properties can be deduced." |
| Umfang: | 22 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035579748 | ||
| 003 | DE-604 | ||
| 005 | 20140312 | ||
| 007 | t| | ||
| 008 | 090623s1990 xx d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)22772845 | ||
| 035 | |a (DE-599)BVBBV035579748 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Fitzgerald, John S. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modularizing the formal description of a database system |
| 246 | 1 | 3 | |a Reportnr. UMCS 90 1 1 |
| 264 | 1 | |a Manchester |b Univ. |c 1990 | |
| 300 | |a 22 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Technical report series / University of Manchester, Department of Computer Science. | |
| 520 | 3 | |a Abstract: "Specification languages have been proposed, and are being developed, which offer ways of splitting specifications into separate components or modules. It is important that such languages are able to cope with modularizations which are required by realistic specification tasks. This paper offers a challenge problem in modularization based on a description is of an existing database system. The chosen modularization is motivated by the need to separate coherent units about which useful properties can be deduced." | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 700 | 1 | |a Jones, Cliff B. |d 1944- |e Verfasser |0 (DE-588)1048142760 |4 aut | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017635177 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6076-1990,1,1 |
|---|---|
| DE-BY-TUM_katkey | 1696001 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010130595 |
| _version_ | 1821933696579534849 |
| any_adam_object | |
| author | Fitzgerald, John S. Jones, Cliff B. 1944- |
| author_GND | (DE-588)1048142760 |
| author_facet | Fitzgerald, John S. Jones, Cliff B. 1944- |
| author_role | aut aut |
| author_sort | Fitzgerald, John S. |
| author_variant | j s f js jsf c b j cb cbj |
| building | Verbundindex |
| bvnumber | BV035579748 |
| ctrlnum | (OCoLC)22772845 (DE-599)BVBBV035579748 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01484nam a2200301 c 4500</leader><controlfield tag="001">BV035579748</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140312 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090623s1990 xx d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22772845</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035579748</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fitzgerald, John S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modularizing the formal description of a database system</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Reportnr. UMCS 90 1 1</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Manchester</subfield><subfield code="b">Univ.</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 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="0" ind2=" "><subfield code="a">Technical report series / University of Manchester, Department of Computer Science.</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Specification languages have been proposed, and are being developed, which offer ways of splitting specifications into separate components or modules. It is important that such languages are able to cope with modularizations which are required by realistic specification tasks. This paper offers a challenge problem in modularization based on a description is of an existing database system. The chosen modularization is motivated by the need to separate coherent units about which useful properties can be deduced."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jones, Cliff B.</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1048142760</subfield><subfield code="4">aut</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017635177</subfield></datafield></record></collection> |
| id | DE-604.BV035579748 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T13:38:17Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017635177 |
| oclc_num | 22772845 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 22 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Univ. |
| record_format | marc |
| series2 | Technical report series / University of Manchester, Department of Computer Science. |
| spellingShingle | Fitzgerald, John S. Jones, Cliff B. 1944- Modularizing the formal description of a database system Programming languages (Electronic computers) |
| title | Modularizing the formal description of a database system |
| title_alt | Reportnr. UMCS 90 1 1 |
| title_auth | Modularizing the formal description of a database system |
| title_exact_search | Modularizing the formal description of a database system |
| title_full | Modularizing the formal description of a database system |
| title_fullStr | Modularizing the formal description of a database system |
| title_full_unstemmed | Modularizing the formal description of a database system |
| title_short | Modularizing the formal description of a database system |
| title_sort | modularizing the formal description of a database system |
| topic | Programming languages (Electronic computers) |
| topic_facet | Programming languages (Electronic computers) |
| work_keys_str_mv | AT fitzgeraldjohns modularizingtheformaldescriptionofadatabasesystem AT jonescliffb modularizingtheformaldescriptionofadatabasesystem AT fitzgeraldjohns reportnrumcs9011 AT jonescliffb reportnrumcs9011 |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6076-1990,1,1
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |