USING Z TO SPECIFY TELEPHONE FEATURES

被引：0

作者：

MATAGA, P ^{[1
]}

ZAVE, P ^{[1
]}

机构：

[1] AT&T BELL LABS, SOFTWARE PRINCIPLES RES DEPT, MURRAY HILL, NJ 07974 USA

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 1995年 / 37卷 / 5-6期

关键词：

FORMAL SPECIFICATION; Z NOTATION; TELEPHONY; FEATURE INTERACTION;

D O I：

10.1016/0950-5849(95)99363-R

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper gives a very brief overview of a formal specification of the behaviour of a set of about 10 realistic features for ISDN telephones, The full specification employs a multiparadigm technique in which partial specifications in different languages are composed, but the focus here is on the use of the Z notation to specify call processing and subscriber database aspects of telephone features, Our experiences with the approach, and with Z in particular, are discussed.

引用

页码：277 / 283

页数：7

共 50 条

[31] FEATURES OF THE CRISIS CONSULTING IN THE CONTEXT OF THE URGENT TELEPHONE HELP
Skavinskaya, E. N.
SIBIRSKIY PSIKHOLOGICHESKIY ZHURNAL-SIBERIAN JOURNAL OF PSYCHOLOGY, 2006, (23): : 17 - 21
[32] USING LARCH TO SPECIFY AVALON/C++ OBJECTS
WING, JM
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 1076 - 1088
[33] Using MFACE as input in the UAM to specify the MIT dynamics
Prokhorov, B. E.
Foerster, M.
He, M.
Namgaladze, A. A.
Holschneider, M.
JOURNAL OF GEOPHYSICAL RESEARCH-SPACE PHYSICS, 2014, 119 (08)
[34] Crosstalk and noise features of cable carrier telephone system
Weaver, MA
Tucker, RS
Darnell, PS
BELL SYSTEM TECHNICAL JOURNAL, 1938, 17 : 137 - 161
[35] Using the causal domain to specify and verify distributed programs
Garg, VK
Tomlinson, AI
ACTA INFORMATICA, 1997, 34 (09) : 667 - 686
[36] Using Noether symmetries to specify f(R) gravity
Paliathanasis, Andronikos
NEB 15 - RECENT DEVELOPMENTS IN GRAVITY, 2013, 453
[37] Using the causal domain to specify and verify distributed programs
Garg, V. K.
Tomlinson, A.
Acta Informatica, 34 (09):
[38] Using data groups to specify and check side effects
Leino, KRM
Poetzsch-Heffter, A
Zhou, YH
ACM SIGPLAN NOTICES, 2002, 37 (05) : 246 - 257
[39] Using temporal logic to specify adaptive program semantics
Zhang, Ji
Cheng, Betty H. C.
JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (10) : 1361 - 1369
[40] Using XML to specify a trace format for MPI programs
Huband, S
McDonald, C
JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, 2001, 33 (02): : 133 - 145

← 1 2 3 4 5 →