Specifications are not (necessarily) executable:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Manchester
Univ.
1989
|
| Schriftenreihe: | Technical report series / University of Manchester, Department of Computer Science.
|
| Schlagwörter: | |
| Abstract: | Abstract: "Specifications can be written in languages which have formal semantics. Their very formality, and the similarities with some aspects of implementation languages, invites the idea that specifications might be executed. This paper presents a number of arguments against that idea. The aim is to warn of the dangers of limiting specification languages to the point where all of their constructs can be executed. While conceding the difficulties of relating specification to an understanding of the r̀equirements' for a system, it is argued that other solutions should be sought than èxecutable specification languages'." |
| Umfang: | 18 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035579737 | ||
| 003 | DE-604 | ||
| 005 | 20140312 | ||
| 007 | t| | ||
| 008 | 090623s1989 xx d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)22772926 | ||
| 035 | |a (DE-599)BVBBV035579737 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Hayes, Ian J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Specifications are not (necessarily) executable |
| 246 | 1 | 3 | |a Reportnr. UMCS 89 12 1 |
| 264 | 1 | |a Manchester |b Univ. |c 1989 | |
| 300 | |a 18 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: "Specifications can be written in languages which have formal semantics. Their very formality, and the similarities with some aspects of implementation languages, invites the idea that specifications might be executed. This paper presents a number of arguments against that idea. The aim is to warn of the dangers of limiting specification languages to the point where all of their constructs can be executed. While conceding the difficulties of relating specification to an understanding of the r̀equirements' for a system, it is argued that other solutions should be sought than èxecutable specification languages'." | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Semantics | |
| 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-017635167 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6076-1989,12,1 |
|---|---|
| DE-BY-TUM_katkey | 1695998 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010130608 |
| _version_ | 1821934538132029441 |
| any_adam_object | |
| author | Hayes, Ian J. Jones, Cliff B. 1944- |
| author_GND | (DE-588)1048142760 |
| author_facet | Hayes, Ian J. Jones, Cliff B. 1944- |
| author_role | aut aut |
| author_sort | Hayes, Ian J. |
| author_variant | i j h ij ijh c b j cb cbj |
| building | Verbundindex |
| bvnumber | BV035579737 |
| ctrlnum | (OCoLC)22772926 (DE-599)BVBBV035579737 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01599nam a2200313 c 4500</leader><controlfield tag="001">BV035579737</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140312 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090623s1989 xx d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22772926</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035579737</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">Hayes, Ian J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specifications are not (necessarily) executable</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Reportnr. UMCS 89 12 1</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Manchester</subfield><subfield code="b">Univ.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 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: "Specifications can be written in languages which have formal semantics. Their very formality, and the similarities with some aspects of implementation languages, invites the idea that specifications might be executed. This paper presents a number of arguments against that idea. The aim is to warn of the dangers of limiting specification languages to the point where all of their constructs can be executed. While conceding the difficulties of relating specification to an understanding of the r̀equirements' for a system, it is argued that other solutions should be sought than èxecutable specification languages'."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</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-017635167</subfield></datafield></record></collection> |
| id | DE-604.BV035579737 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T13:38:17Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017635167 |
| oclc_num | 22772926 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 18 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Univ. |
| record_format | marc |
| series2 | Technical report series / University of Manchester, Department of Computer Science. |
| spellingShingle | Hayes, Ian J. Jones, Cliff B. 1944- Specifications are not (necessarily) executable Programming languages (Electronic computers) Semantics |
| title | Specifications are not (necessarily) executable |
| title_alt | Reportnr. UMCS 89 12 1 |
| title_auth | Specifications are not (necessarily) executable |
| title_exact_search | Specifications are not (necessarily) executable |
| title_full | Specifications are not (necessarily) executable |
| title_fullStr | Specifications are not (necessarily) executable |
| title_full_unstemmed | Specifications are not (necessarily) executable |
| title_short | Specifications are not (necessarily) executable |
| title_sort | specifications are not necessarily executable |
| topic | Programming languages (Electronic computers) Semantics |
| topic_facet | Programming languages (Electronic computers) Semantics |
| work_keys_str_mv | AT hayesianj specificationsarenotnecessarilyexecutable AT jonescliffb specificationsarenotnecessarilyexecutable AT hayesianj reportnrumcs89121 AT jonescliffb reportnrumcs89121 |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6076-1989,12,1
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |