VIEWPOINT SPECIFICATION AND Z

被引：17

作者：

AINSWORTH, M ^{[1
]}

CRUICKSHANK, AH ^{[1
]}

WALLIS, PJL ^{[1
]}

GROVES, LJ ^{[1
]}

机构：

[1] VICTORIA UNIV WELLINGTON,DEPT COMP SCI,WELLINGTON,NEW ZEALAND

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 1994年 / 36卷 / 01期

关键词：

AMALGAMATION; SPECIFICATION; VIEWPOINTS; Z;

D O I：

10.1016/0950-5849(94)90007-8

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In the paper we discuss the use of viewpoint specifications, a technique which concentrates on making large specifications more understandable. Rather than specifying the whole system at once, a system is described using several self-contained partial specifications, which may then be amalgamated to give a description of the complete system. Amalgamationis is taken to be a composite process in which the data and operations of the constituent viewpoints are separately considered. The approach is illustrated in terms of Z specifications.

引用

页码：43 / 51

页数：9

共 19 条

[1]

AINSWORTH M, 1994, IN PRESS 6TH P REF W

[2]

AINSWORTH M, 1993, 13TH P NZ COMP SOC C, P218

[3]

BATINI C, 1986, COMPUT SURV, V18, P323, DOI 10.1145/27633.27634

[4]

BOTT MF, 1988, SOFT ENG J, V3, P188

[5] CONSTRUCTING SPECIFICATIONS BY COMBINING PARALLEL ELABORATIONS [J].

FEATHER, MS .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (02) :198-208

[6] A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM-DEVELOPMENT - VIEWPOINTS [J].

FINKELSTEIN, A ;

KRAMER, J ;

NUSEIBEH, B ;

FINKELSTEIN, L ;

GOEDICKE, M .

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1992, 2 (01) :31-57

[7]

FINKELSTEIN A, 1989, 5TH P INT WORKSH SOF, P185

[8] INTEGRATING NONINTERFERING VERSIONS OF PROGRAMS [J].

HORWITZ, S ;

PRINS, J ;

REPS, T .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03) :345-387

[9]

Jones C. B., 1990, SYSTEMATIC SOFTWARE, V2

[10] THE DATE REFINEMENT CALCULATOR FOR Z-SPECIFICATIONS [J].

JOSEPHS, MB .

INFORMATION PROCESSING LETTERS, 1988, 27 (01) :29-33

← 1 2 →