FORMAL METHODS FOR DATABASE LANGUAGE DESIGN AND CONSTRAINT HANDLING

被引：0
|
作者：
WALSHE, A [1 ]
机构：
[1] STC TECHNOL LTD,UARLOW CM17 9NA,ESSEX,ENGLAND
来源：
SOFTWARE ENGINEERING JOURNAL | 1989年 / 4卷 / 01期
关键词：
D O I：
10.1049/sej.1989.0002
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：15 / 24
页数：10
相关论文
共 50 条
  • [21] Landscape changes and the performance of mapping based constraint handling methods
    Kim, DG
    Husbands, P
    PARALLEL PROBLEM SOLVING FROM NATURE - PPSN V, 1998, 1498 : 221 - 230
  • [22] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
    Marieke Huisman
    Corina S. Păsăreanu
    Naijun Zhan
    Formal Methods in System Design, 2022, 61 : 1 - 2
  • [23] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
  • [24] COMPLEX PROLOG - A LOGIC DATABASE LANGUAGE FOR HANDLING COMPLEX OBJECTS
    GRECO, S
    RULLO, P
    INFORMATION SYSTEMS, 1989, 14 (01) : 79 - 87
  • [25] The Future of Formal Methods and GALS Design
    Stevens, Kenneth S.
    Gebhardt, Daniel
    You, Junbok
    Xu, Yang
    Vij, Vikas
    Das, Shomit
    Desai, Krishnaji
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 245 : 115 - 134
  • [26] Formal specification methods in engineering design
    Boriani, DV
    ISA TRANSACTIONS, 1997, 36 (02) : 123 - 129
  • [27] Formal Methods in System Design: Foreword
    Formal Methods Syst Des, 2006, 2 (115-116):
  • [28] Formal methods in computer system design
    Hoare, C.A.R.
    Computer Physics Communications, 1989, 57 (1-3): : 206 - 210
  • [29] FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN
    VONBOCHMANN, G
    SUNSHINE, CA
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1980, 28 (04) : 624 - 631
  • [30] Teaching Database Design with Constraint-Based Tutors
    Mitrovic, Antonija
    Suraweera, Pramuditha
    INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE IN EDUCATION, 2016, 26 (01) : 448 - 456
12345