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 条
  • [21] USING VDM TO SPECIFY MANAGED OBJECT RELATIONSHIPS
    MARSHALL, LS
    SIMON, L
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 263 - 278
  • [22] An Automated Approach to Testing Polymorphic Features Using Object-Z
    Ahmad, Mahreen
    Nadeem, Aamer
    Kim, Tai-hoon
    ADVANCES IN SOFTWARE ENGINEERING, 2010, 117 : 195 - +
  • [23] Using the SCR* toolset to specify software requirements
    Heitmeyer, C
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 12 - 13
  • [24] Automatic assessment of intelligibility in speakers with dysarthria from coded telephone speech using glottal features
    Narendra, N. P.
    Alku, Paavo
    COMPUTER SPEECH AND LANGUAGE, 2021, 65
  • [25] HOW TO SPECIFY FEATURES ON POWDER-METALLURGY PARTS FOR MAXIMUM ECONOMY AND STRENGTH
    BRADBURY, S
    MACHINE DESIGN, 1970, 42 (24) : 99 - &
  • [26] Validating the Z Specification of Telephone Book System with Symbolic Execution
    Yusof, Rizal
    Shukur, Zarina
    2009 INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING AND INFORMATICS, VOLS 1 AND 2, 2009, : 221 - 224
  • [27] Using graph rewriting to specify software architectural transformations
    Fahmy, H
    Holt, RC
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 187 - 196
  • [28] TEN WAYS TO SPECIFY A GINI COEFFICIENT USING ENTROPY
    Ryu, Hang Keun
    Slottje, Daniel J.
    ANNALS OF FINANCIAL ECONOMICS, 2023, 18 (01)
  • [29] GUIDELINES FOR USING ESTELLE TO SPECIFY OSI SERVICES AND PROTOCOLS
    SIJELMASSI, R
    LINN, RJ
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 23 (05): : 343 - 362
  • [30] Some Features of the Users' Activities in the Mobile Telephone Network
    Couronne, Thomas
    Kirzhner, Valery
    Korenblat, Katerina
    Volkovich, Zeev
    JOURNAL OF PATTERN RECOGNITION RESEARCH, 2013, 8 (01): : 59 - 65
12345