BLACK-BOX SPECIFICATION IN SPEC

被引：0

作者：

BERZINS, V

机构：

[1] Computer Science Department, Naval Postgraduate School, Monterey

来源：

COMPUTER LANGUAGES | 1991年 / 16卷 / 02期

关键词：

BLACK-BOX SPECIFICATIONS; ABSTRACTIONS; SPECIFICATION LANGUAGE; COMPUTER AIDED SOFTWARE ENGINEERING; DISTRIBUTED SYSTEMS; REAL-TIME SYSTEMS;

D O I：

10.1016/0096-0551(91)90002-Q

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents a language for giving black-box specifications in the early stages of software design. The underlying computational model combines message passing with temporal events in a precisely defined way. The features of the language, especially those important for large scale design are presented by means of examples.

引用

页码：113 / 127

页数：15

共 50 条

[1] Using a Specification Data Model for Specification of Black-Box Software Components
Ackermann, Joerg
ENTERPRISE MODELLING AND INFORMATION SYSTEMS ARCHITECTURES-AN INTERNATIONAL JOURNAL, 2007, 2 (01): : 3 - 13
[2] Testing Functional Black-Box Programs Without a Specification
Walkinshaw, Neil
MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 101 - 120
[3] THE BLACK-BOX
KYLE, SA
NEW SCIENTIST, 1986, 110 (1512) : 61 - 61
[4] THE BLACK-BOX
WISEMAN, J
ECONOMIC JOURNAL, 1991, 101 (404): : 149 - 155
[5] THE MATHEMATICAL WORLD IN THE BLACK-BOX - SIGNIFICANCE OF THE BLACK-BOX AS A MEDIUM OF MATHEMATIZING
MAASS, J
SCHLOGLMANN, W
CYBERNETICS AND SYSTEMS, 1988, 19 (04) : 295 - 309
[6] INSIDE THE BLACK-BOX
HORGAN, J
IEEE SPECTRUM, 1986, 23 (11) : 65 - 65
[7] BLACK-BOX BLUES
SNYDER, EL
DISCOVER, 1984, 5 (08): : 6 - 6
[8] INSIDE THE BLACK-BOX
WILENSKY, GR
SOCIETY, 1994, 32 (01) : 68 - 69
[9] THE MANAGER AND THE BLACK-BOX
ANSHEN, M
HARVARD BUSINESS REVIEW, 1960, 38 (06) : 85 - 92
[10] THE TRAGEDY OF THE BLACK-BOX
DUNTEMANN, J
DR DOBBS JOURNAL, 1991, 16 (12): : 123 - +

← 1 2 3 4 5 →