Modularizing the formal description of a database system:
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 p...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Manchester
Univ.
1990
|
| Series: | Technical report series / University of Manchester, Department of Computer Science.
|
| Subjects: | |
| Summary: | 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." |
| Physical Description: | 22 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035579748 | ||
| 003 | DE-604 | ||
| 005 | 20140312 | ||
| 007 | t | ||
| 008 | 090623s1990 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017635177 | ||
Record in the Search Index
| _version_ | 1804139237039144960 |
|---|---|
| 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>01483nam 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 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017635177</subfield></datafield></record></collection> |
| id | DE-604.BV035579748 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:40:53Z |
| 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. |
| spelling | Fitzgerald, John S. Verfasser aut Modularizing the formal description of a database system Reportnr. UMCS 90 1 1 Manchester Univ. 1990 22 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technical report series / University of Manchester, Department of Computer Science. 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." Programming languages (Electronic computers) Jones, Cliff B. 1944- Verfasser (DE-588)1048142760 aut |
| 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 |