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 条
  • [21] VESAR - A PRAGMATIC APPROACH TO FORMAL SPECIFICATION AND VERIFICATION
    ALGAYRES, B
    COELHO, V
    DOLDI, L
    GARAVEL, H
    LEJEUNE, Y
    RODRIGUEZ, C
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 779 - 790
  • [22] A formal approach to the specification and transformation of constraints in MDE
    Rutle, Adrian
    Rossini, Alessandro
    Lamo, Yngve
    Wolter, Uwe
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (04): : 422 - 457
  • [23] Formal specification of concurrent systems: A structured approach
    Mazzeo, A
    Mazzocca, N
    Russo, S
    Savy, C
    Vittorini, V
    COMPUTER JOURNAL, 1998, 41 (03): : 145 - 162
  • [24] Using the B formal approach for incremental specification design of interactive systems
    Aït-Ameur, Y
    Girard, P
    Jambon, F
    ENGINEERING FOR HUMAN-COMPUTER INTERACTION, 1999, 22 : 91 - 109
  • [25] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [26] FORMAL SPECIFICATION IN OSI
    VISSERS, CA
    SCOLLO, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 338 - 359
  • [27] Formal dialectic specification
    Wells, S
    Reed, C
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 31 - 43
  • [28] Formal Specification Level
    Drechsler, Rolf
    Soeken, Mathias
    Wille, Robert
    MODELS, METHODS, AND TOOLS FOR COMPLEX CHIP DESIGN: SELECTED CONTRIBUTIONS FROM FDL 2012, 2014, 265 : 37 - 52
  • [29] A FORMAL SPECIFICATION OF AN OSCILLOSCOPE
    DELISLE, N
    GARLAN, D
    IEEE SOFTWARE, 1990, 7 (05) : 29 - 36
  • [30] A FORMAL SPECIFICATION OF INGRES
    BAATS, WE
    FEIJS, LMG
    GELISSEN, JHA
    ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 207 - 245
12345