A FORMAL APPROACH TO HYPERTEXT USING POST-PROTOTYPE FORMAL SPECIFICATION

被引：0
|
作者：
LANGE, DB [1 ]
机构：
[1] TECH UNIV DENMARK, DEPT COMP SCI, DK-2800 LYNGBY, DENMARK
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 428卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：99 / 121
页数：23
相关论文
共 50 条
  • [31] POST-prototype for the Chinese Large Solar Telescope
    Rao, Changhui
    Gu, Naiting
    Liu, Yangyi
    Li, Cheng
    Chen, Yuntao
    Zhang, Ming
    Su, Cheng
    Huang, Jinlong
    Wang, Zhiyong
    Rao, Xuejun
    Bao, Hua
    Tian, Yu
    Zhu, Lei
    JOURNAL OF ASTRONOMICAL TELESCOPES INSTRUMENTS AND SYSTEMS, 2019, 5 (02)
  • [32] A formal specification of dMARS
    d'Inverno, M
    Kinny, D
    Luck, M
    Wooldridge, M
    INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 155 - 176
  • [33] Formal Specification of Playout System Using Z
    Cao, Yizhen
    Wang, Yongbin
    2ND INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS (SMTA 2015), 2015, : 276 - 282
  • [34] A FORMAL SPECIFICATION OF INGRES
    BAATS, WE
    FEIJS, LMG
    GELISSEN, JHA
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 207 - 245
  • [35] Formal Specification and Analysis of Zeroconf Using Uppaal
    Berendsen, Jasper
    Gebremichael, Biniam
    Vaandrager, Frits W.
    Zhang, Miaomiao
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2011, 10 (03)
  • [36] USING OCL IN THE FORMAL SPECIFICATION OF THE LIBRARY STANDARDS
    Rudic, Gordana
    Surla, Bojana Dimic
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2013, 23 (03) : 341 - 359
  • [37] Formal specification of business rules using Z
    Yoo, HJ
    Choi, JY
    Bai, M
    International Conference on Computing, Communications and Control Technologies, Vol 1, Proceedings, 2004, : 92 - 95
  • [38] Formal specification of scanning streams using RAISE
    Dosch, W
    Riesco, D
    Berón, M
    Montejano, G
    Innovations Through Information Technology, Vols 1 and 2, 2004, : 1011 - 1013
  • [39] FAUST: Formal analysis using specification tools
    Rifaut, A
    Massonet, P
    Molderez, JF
    Ponsard, C
    Stadnik, P
    van Lamsweerde, A
    Van Hung, T
    11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 350 - 350
  • [40] Formal specification of shared variables using CSP
    Scuglik, F
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 211 - 216
12345