Specifications are not (necessarily) executable:
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 a...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Manchester
Univ.
1989
|
| Schriftenreihe: | Technical report series / University of Manchester, Department of Computer Science.
|
| Schlagworte: | |
| Zusammenfassung: | 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'." |
| Beschreibung: | 18 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035579737 | ||
| 003 | DE-604 | ||
| 005 | 20140312 | ||
| 007 | t | ||
| 008 | 090623s1989 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017635167 | ||
Datensatz im Suchindex
| _version_ | 1804139237061165056 |
|---|---|
| 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>01598nam 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 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017635167</subfield></datafield></record></collection> |
| id | DE-604.BV035579737 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:40:53Z |
| 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. |
| spelling | Hayes, Ian J. Verfasser aut Specifications are not (necessarily) executable Reportnr. UMCS 89 12 1 Manchester Univ. 1989 18 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technical report series / University of Manchester, Department of Computer Science. 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'." Programming languages (Electronic computers) Semantics Jones, Cliff B. 1944- Verfasser (DE-588)1048142760 aut |
| 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 |