A New Dynamic Semantic Model of SDL

被引：0
|
作者：
Ni, Zhao [1 ]
Wang, Ying [1 ]
Huang, Jie [1 ]
Ai, Bo [1 ]
机构：
[1] Sch. of Comp. Science and Technology, Beijing Univ. of P. and Telecom., Beijing 100876, China
来源：
Beijing Youdian Xueyuan Xuebao/Journal of Beijing University of Posts And Telecommunications | 2000年 / 23卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] SDL time extensions from a semantic point of view
    Prinz, A
    TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 53 - 60
  • [2] Dynamic and semantic social networks analysis: a new model based on a multidisciplinary approach
    Thovex, Christophe
    Trichet, Francky
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 548 - 552
  • [3] A DYNAMIC-MODEL OF SEMANTIC CHANGE
    NERLICH, B
    CLARKE, DD
    JOURNAL OF LITERARY SEMANTICS, 1988, 17 (02) : 73 - 90
  • [4] Model checking SDL with spin
    Bosnacki, D
    Dams, D
    Holenderski, L
    Sidorova, N
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 363 - 377
  • [5] Experiences with ISDN validation models in SDL and proposal for new SDL features
    Fischbeck, N
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 135 - 150
  • [6] A Dynamic Semantic Metadata Model in Cloud Computing
    Anitha, R.
    Mukherjee, Saswati
    GLOBAL TRENDS IN INFORMATION SYSTEMS AND SOFTWARE APPLICATIONS, PT 2, 2012, 270 : 13 - 21
  • [7] Language agnostic model checking for SDL
    Gaudin, Emmanuel
    Brunel, Eric
    Brumbulli, Mihal
    2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 231 - 240
  • [8] A model-based standard for SDL
    Prinz, Andreas
    Scheidgen, Markus
    Tveit, Merete S.
    SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 1 - +
  • [9] Uniphase, SDL launch new gratings
    Wheeler, MD
    PHOTONICS SPECTRA, 1998, 32 (03) : 67 - +
  • [10] Dynamic semantic systems - an information systems' impact model
    Quick, TJ
    McDonnell, JT
    WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98, 1998, : 70 - 74
12345