MODULARIZING THE FORMAL DESCRIPTION OF A DATABASE SYSTEM

被引：0
|
作者：
FITZGERALD, JS
JONES, CB
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 428卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：189 / 210
页数：22
相关论文
共 50 条
  • [1] Formal Verification of a Database Management System
    Medina-Martinez, Diego
    Barcenas, Everardo
    Molero-Castillo, Guillermo
    Velazquez-Mena, Alejandro
    Aldeco-Perez, Rocio
    2020 8TH EDITION OF THE INTERNATIONAL CONFERENCE IN SOFTWARE ENGINEERING RESEARCH AND INNOVATION (CONISOFT 2020), 2020, : 102 - 109
  • [2] Formal description of an ATM system by RTPA
    Wang, YX
    Zhang, YN
    CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1255 - 1258
  • [3] SYSTEM SEMANTICS AND FORMAL CIRCUIT DESCRIPTION
    BOUTE, RT
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1986, 33 (12): : 1219 - 1231
  • [4] The formal system of Description Logic ALC
    Wen Bin
    Gan Jian-hou
    Xu Tian-wei
    Xu Tian-ren
    PROCEEDINGS OF THE 14TH YOUTH CONFERENCE ON COMMUNICATION, 2009, : 81 - +
  • [5] A formal description of SECIMOS operating system
    Zhou, ZY
    Liang, B
    Jiang, L
    Shi, WC
    He, YP
    COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005, 3685 : 286 - 297
  • [6] A FORMAL DESCRIPTION OF SYSTEM-360
    FALKOFF, AD
    IVERSON, KE
    SUSSENGUTH, EH
    IBM SYSTEMS JOURNAL, 1964, 3 (03) : 198 - 263
  • [7] SYSTEM SEMANTICS AND FORMAL CIRCUIT DESCRIPTION.
    Boute, Raymond T.
    IEEE transactions on circuits and systems, 1986, CAS-33 (12): : 1219 - 1231
  • [8] SYNTACTIC AND SEMANTIC ASPECTS OF FORMAL SYSTEM DESCRIPTION
    BOUTE, RT
    MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 155 - 161
  • [9] Formal Description of Alvis Language with α0 System Layer
    Szpyrka, Marcin
    Matyasik, Piotr
    Mrowka, Rafal
    Kotulski, Leszek
    FUNDAMENTA INFORMATICAE, 2014, 129 (1-2) : 161 - 176
  • [10] A formal description of the basic concepts of system theory for transportation
    Schnieder, E
    Müller, JR
    FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING, 2005, 3393 : 402 - 411
12345