规格说明(不一定)是可执行的

IF 1.2 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING

e-Informatica Software Engineering Journal Pub Date : 1989-11-01 DOI:10.1049/SEJ.1989.0045

I. Hayes, Cliff B. Jones

{"title":"规格说明(不一定)是可执行的","authors":"I. Hayes, Cliff B. Jones","doi":"10.1049/SEJ.1989.0045","DOIUrl":null,"url":null,"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 specifications to an understanding of the ‘requirements’ for a system, it is argued that other solutions should be sought than ‘executable specification languages’.","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":null,"pages":null},"PeriodicalIF":1.2000,"publicationDate":"1989-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"279","resultStr":"{\"title\":\"Specifications are not (necessarily) executable\",\"authors\":\"I. Hayes, Cliff B. Jones\",\"doi\":\"10.1049/SEJ.1989.0045\",\"DOIUrl\":null,\"url\":null,\"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 specifications to an understanding of the ‘requirements’ for a system, it is argued that other solutions should be sought than ‘executable specification languages’.\",\"PeriodicalId\":41522,\"journal\":{\"name\":\"e-Informatica Software Engineering Journal\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.2000,\"publicationDate\":\"1989-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"279\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"e-Informatica Software Engineering Journal\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1049/SEJ.1989.0045\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"e-Informatica Software Engineering Journal","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1049/SEJ.1989.0045","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}

引用次数: 279

摘要

规范可以用具有形式化语义的语言编写。它们的形式，以及与实现语言的某些方面的相似之处，让人想到规范可以被执行。本文提出了一些反对这一观点的论据。其目的是警告将规范语言限制到其所有结构都可以执行的程度的危险。虽然承认将规范与对系统“需求”的理解联系起来的困难，但有人认为应该寻求其他解决方案，而不是“可执行的规范语言”。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Specifications are not (necessarily) executable

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 specifications to an understanding of the ‘requirements’ for a system, it is argued that other solutions should be sought than ‘executable specification languages’.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

e-Informatica Software Engineering Journal COMPUTER SCIENCE, SOFTWARE ENGINEERING-

CiteScore

2.60

自引率

0.00%

发文量

期刊介绍： The purpose of e-Informatica Software Engineering Journal is to publish original and significant results in all areas of software engineering research. The scope of e-Informatica Software Engineering Journal includes methodologies, practices, architectures, technologies and tools used in processes along the software development lifecycle, but particular stress is laid on empirical evaluation using well chosen statistical and data science methods. e-Informatica Software Engineering Journal is published online and in hard copy form. The on-line version is from the beginning published as a gratis, no authorship fees, open access journal, which means it is available at no charge to the public. The printed version of the journal is the primary (reference) one.