Structuring specifications in Z

IF 1.2 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING

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

J. C. P. Woodcook

引用次数: 34

Abstract

In the specification notation known as Z, schemas are used to structure mathematical descriptions. This paper describes the language of schemas and the conventions that are employed in their use. It also describes how proof obligations are generated during specification, and how these obligations may be discharged. The paper contains many examples, mostly taken from the specification of the user interface to a small, but realistic, software component.

查看原文本刊更多论文

结构规格以Z表示

在称为Z的规范符号中，模式用于构建数学描述。本文描述了模式语言及其使用中所采用的约定。它还描述了在规范期间如何产生证明义务，以及如何履行这些义务。本文包含了许多例子，大多是从用户界面规范到一个小而实际的软件组件。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

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.