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 条

[41] Using formal approach to specify distributed multimedia systems
Zhang, Lichen
Yuan, Peijiang
IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing - Proceedings, 1999, : 460 - 463
[42] Using semantic Web technologies to specify constraints of RBAC
Wu, D
Lin, J
Dong, YB
Zhu, ML
PDCAT 2005: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies, Proceedings, 2005, : 543 - 545
[43] Using reflection to specify transaction sequences in rewriting logic
Pita, I
Martí-Oliet, N
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 261 - 276
[44] Using the causal domain to specify and verify distributed programs
Vijay K. Garg
Alexander I. Tomlinson
Acta Informatica, 1997, 34 : 667 - 686
[45] Using Metric Temporal Logic to Specify Scheduling Problems
Luo, Roy
Valenzano, Richard
Li, Yi
Beck, J. Christopher
McIlraith, Sheila A.
FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 581 - 584
[46] Functional brain network features specify DBS outcome for patients with treatment resistant depression
Ghaderi, Amir Hossein
Brown, Elliot C.
Clark, Darren Laree
Ramasubbu, Rajamannar
Kiss, Zelma H. T.
Protzner, Andrea B.
MOLECULAR PSYCHIATRY, 2023, 28 (09) : 3888 - 3899
[47] Functional brain network features specify DBS outcome for patients with treatment resistant depression
Amir Hossein Ghaderi
Elliot C. Brown
Darren Laree Clark
Rajamannar Ramasubbu
Zelma H. T. Kiss
Andrea B. Protzner
Molecular Psychiatry, 2023, 28 : 3888 - 3899
[48] Asymmetric Z-plasty for Telephone Deformity in Prominent Ear Correction
Uysal, Afsin
Uysal, Cagri A.
Cologlu, Harun
Borman, Huseyin
JOURNAL OF CRANIOFACIAL SURGERY, 2014, 25 (05) : 1849 - 1851
[49] USING TELEPHONE NETWORK POWER
不详
ELECTRICAL REVIEW, 1973, 193 (15): : 476 - 476
[50] Using Formal Ontologies to Specify Enterprise Architecture Meta Models
Gerber, Aurona
TECHNOLOGIES FOR CONTEXT-AWARE BUSINESS PROCESS MANAGEMENT, ADVANCED ENTERPRISE ARCHITECTURE AND REPOSITORIES AND RECENT TRENDS IN SOA BASED INFORMATION SYSTEMS, 2010, : 3 - 3

← 1 2 3 4 5 →