Trends in formal description techniques

被引：0
|
作者：
Gotzhein, R [1 ]
Bredereke, J [1 ]
机构：
[1] Univ Kaiserslautern, Fachbereich Informat, D-67653 Kaiserslautern, Germany
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1998年 / 30卷 / 9-10期
关键词：
D O I：
10.1016/S0169-7552(97)00131-1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：863 / 864
页数：2
相关论文
共 50 条
  • [41] Method Engineering: A Formal Description
    Sunyaev, Ali
    Hansen, Matthias
    Krcmar, Helmut
    INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 645 - 654
  • [42] Formal Description for SaaS Undo
    Merlino, Hernan
    Dieste, Oscar
    Pesado, Patricia
    Garcia-Martinez, Ramon
    SOFTWARE BUSINESS: FROM PHYSICAL PRODUCTS TO SOFTWARE SERVICES AND SOLUTIONS, 2013, 150 : 217 - 222
  • [43] ON FORMAL DESCRIPTION OF AUTOMATA NETWORKS
    HIRSCH, HJ
    ELECTRONISCHE DATENVERARBEITUNG, 1969, 11 (06): : 251 - &
  • [44] Formal description of Auditory Scenes
    Darvishi, A
    Schauer, H
    COMPUTER ANIMATION '97 - PROCEEDINGS, 1997, : 67 - 76
  • [45] Formal description of plant morphogenesis
    Palubicki, Wojtek
    Kokosza, Andrzej
    Burian, Agata
    JOURNAL OF EXPERIMENTAL BOTANY, 2019, 70 (14) : 3601 - 3613
  • [46] FORMAL DESCRIPTION OF PROGRAMMING LANGUAGES
    NEUHOLD, EJ
    IBM SYSTEMS JOURNAL, 1971, 10 (02) : 86 - &
  • [47] Formal description of monitors by CCS
    Yuen, Shoji
    Sakabe, Toshiki
    Inagaki, Yasuyoshi
    Systems and Computers in Japan, 1992, 23 (01): : 1 - 14
  • [48] Towards Sound Development of PIXITP, Conformance Test Suites, and Conforming Implementations For Various Formal Description Techniques
    El-Gendy, Hazem
    El Kadhi, Nabil
    Debnath, Narayan
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1123 - +
  • [49] Formal description of the cognitive comprehension process
    Gafurov, D
    Wang, YX
    CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1251 - 1254
  • [50] Logical formal description of expert systems
    de la Sen, M
    Minambres, JJ
    Garrido, AJ
    Almansa, A
    INFORMATICA, 2002, 13 (02) : 177 - 208
12345