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 条
  • [1] Lessons from using Z to specify a software tool
    Neil, M
    Ostrolenk, G
    Tobin, M
    Southworth, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (01) : 15 - 23
  • [2] Using Z to specify object-oriented software complexity measures
    Shih, TK
    Wang, CC
    Chung, CM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1997, 39 (08) : 515 - 529
  • [3] Using Z to specify object-oriented software complexity measures
    Tamkang Univ, Taipei Hsien, Taiwan
    Inf Software Technol, 8 (515-529):
  • [4] A NOTE ON THE USE OF Z TO SPECIFY FLOWGRAPH DECOMPOSITION
    FENTON, NE
    MOLE, PDA
    INFORMATION AND SOFTWARE TECHNOLOGY, 1988, 30 (07) : 432 - 437
  • [5] USING YOUR MICRO TO SPECIFY
    ROSS, SS
    ARCHITECTURAL RECORD, 1987, 175 (10) : 134 - 137
  • [6] Emotion recognition from telephone speech using acoustic and nonlinear features
    Bedoya-Jaramillo, S.
    Orozco-Arroyave, J. R.
    Arias-Londono, J. D.
    Vargas-Bonilla, J. F.
    2013 47TH INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), 2013,
  • [7] Theme Identification in Telephone Service Conversations using Quaternions of Speech Features
    Morchid, Mohamed
    Linares, Georges
    El-Beze, Marc
    De Mori, Renato
    14TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2013), VOLS 1-5, 2013, : 1393 - 1397
  • [8] Dysarthric speech classification from coded telephone speech using glottal features
    Narendra, N. P.
    Alku, Paavo
    SPEECH COMMUNICATION, 2019, 110 : 47 - 55
  • [9] Using a distributor to specify power supplies
    Gordon, WH
    ELECTRONIC PRODUCTS MAGAZINE, 1999, : 16 - +
  • [10] Transmission features of the new telephone sets
    Inglis, AH
    BELL SYSTEM TECHNICAL JOURNAL, 1938, 17 : 358 - 380
12345