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 条
  • [1] THE FORMAL SPECIFICATION AND PROTOTYPE IMPLEMENTATION OF A SIMPLE EDITOR
    AMOROSO, EG
    SIGPLAN NOTICES, 1985, 20 (08): : 51 - 59
  • [2] A generic approach to the formal specification of requirements
    Peper, C
    Gotzhein, R
    Kronenburg, M
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 252 - 261
  • [3] FORMAL APPROACH TO DIGITAL TWIN SPECIFICATION
    Diakite, Mama
    Traore, Mamadou Kaba
    2023 ANNUAL MODELING AND SIMULATION CONFERENCE, ANNSIM, 2023, : 233 - 244
  • [4] AN APPROACH TO FORMAL SPECIFICATION OF CONTROL MODULES
    LEUNG, WH
    RAMAMOORTHY, CV
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) : 485 - 489
  • [5] An approach to formal specification and formal validation of facilities of a mobile middleware architecture
    Chattopadhyay, Matangini
    Paul, Subharthi
    Sanyal, Suman
    Das, Debesh
    MOBILE COMPUTING AND WIRELESS COMMUNICATION INTERNATIONAL CONFERENCE, PROCEEDINGS, 2007, : 184 - +
  • [6] Automated Formal Approach for Debugging Dividers Using Dynamic Specification
    Haghbayan, Mohammad-Hashem
    Alizadeh, Bijan
    Rahmani, Amir-Mohammad
    Liljeberg, Pasi
    Tenhunen, Hannu
    PROCEEDINGS OF THE 2014 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI AND NANOTECHNOLOGY SYSTEMS (DFTS), 2014, : 264 - 269
  • [7] Prototype of a Decision Table Generation Tool from the Formal Specification
    Nishikawa, Kenta
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2015), 2015, : 388 - 391
  • [8] Prototype of a Decision Table Generation Tool from the Formal Specification
    Katayama, Tetsuro
    Nishikawa, Kenta
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2015, 2 (03): : 205 - 208
  • [9] FORMAL SPECIFICATION
    BROKATE, K
    COMPUTER JOURNAL, 1988, 31 (02): : 190 - 190
  • [10] Survey of the formal models of hypertext
    Jisuanji Yanjiu yu Fazhan, 3 (45-50):
12345