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 条
  • [31] Formal voting trends
    Hermann, Imre
    ZEITSCHRIFT FUR PSYCHOLOGIE UND PHYSIOLOGIE DER SINNESORGANE, 1921, 87 : 345 - 363
  • [32] Enhancements in formal process description by using a formal method
    Xin, Cheng
    Grunau, Lukas
    Thron, Mario
    Riedl, Matthias
    AT-AUTOMATISIERUNGSTECHNIK, 2023, 71 (03) : 198 - 208
  • [33] The benefits of formal description techniques for space on-board systems and their integration in an on-board architecture
    Terraillon, JL
    DASIA '97 - DATA SYSTEMS IN AEROSPACE, 1997, 409 : 149 - 157
  • [34] Formal description of disease courses
    van der Maas, AAF
    ter Hofstede, AHM
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 2000, 18 (01) : 29 - 55
  • [35] TOWARDS A FORMAL THEORY OF DESCRIPTION
    TCHON, K
    WOJCIECHOWSKA, J
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1981, 6 (04) : 217 - 224
  • [36] Formal description of multimedia presentations
    Li, ML
    Sun, YQ
    Sheng, HY
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN AND COMPUTER GRAPHICS, 1996, 2644 : 732 - 737
  • [37] An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems
    Muthiayen, D
    Alagar, VS
    Khendek, F
    Sefidcon, A
    SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 491 - 497
  • [38] Translating OMT* to SDL, coupling Object-Oriented analysis and design with Formal Description Techniques
    Verschaeve, K
    Wydaeghe, B
    Jonckers, V
    Cuypers, L
    METHOD ENGINEERING: PRINCIPLES OF METHOD CONSTRUCTION AND TOOL SUPPORT, 1996, : 126 - 141
  • [39] Formal description of hybrid systems
    Chaochen, Z.
    Ji, W.
    Ravn, A.P.
    Lecture Notes in Computer Science, 1996, 1066
  • [40] ELEMENTS FOR THE FORMAL DESCRIPTION OF SYSTEMS
    BOUTE, RT
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 63 - 90
12345