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 条
  • [41] FORMAL HARDWARE SPECIFICATION AND VERIFICATION USING PROLOG
    BREZOCNIK, Z
    HORVAT, B
    MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 163 - 170
  • [42] Real time formal specification using VDM(++)
    vanKatwijk, J
    Durr, E
    Goldsack, S
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 17 - 24
  • [43] FORMAL SPECIFICATION OF TOPOLOGICAL SUBDIVISIONS USING HYPERMAPS
    DUFOURD, JF
    COMPUTER-AIDED DESIGN, 1991, 23 (02) : 99 - 116
  • [44] A Formal Methods Approach to Security Requirements Specification and Verification
    Rouland, Quentin
    Hamid, Brahim
    Bodeveix, Jean-Paul
    Filali, Mamoun
    2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, : 236 - 241
  • [45] Operational ontological approach to formal programming language specification
    I. S. Anureev
    Programming and Computer Software, 2009, 35 : 35 - 42
  • [46] Formal specification and verification of the SET/A protocol with an integrated approach
    Lam, VSW
    Padget, J
    CEC 2004: IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY, PROCEEDINGS, 2004, : 229 - 235
  • [47] Ontological Approach to the Formal Specification of the Standard Life Cycle
    Lavrishcheva, Ekaterina
    2015 SCIENCE AND INFORMATION CONFERENCE (SAI), 2015, : 965 - 972
  • [48] An epistemic approach to the formal specification of statistical machine learning
    Yusuke Kawamoto
    Software and Systems Modeling, 2021, 20 : 293 - 310
  • [49] A Pattern-Based Approach to Formal Specification Construction
    Wang, Xi
    Liu, Shaoying
    Miao, Huaikou
    SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 159 - +
  • [50] AN APPROACH TO THE FORMAL SPECIFICATION OF COMPUTER-GRAPHICS SYSTEMS
    CARSON, GS
    COMPUTERS & GRAPHICS, 1984, 8 (01) : 51 - 57
12345