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 条
  • [41] Method Engineering: A Formal Description
    Sunyaev, Ali
    Hansen, Matthias
    Krcmar, Helmut
    INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 645 - 654
  • [42] Formal Description for SaaS Undo
    Merlino, Hernan
    Dieste, Oscar
    Pesado, Patricia
    Garcia-Martinez, Ramon
    SOFTWARE BUSINESS: FROM PHYSICAL PRODUCTS TO SOFTWARE SERVICES AND SOLUTIONS, 2013, 150 : 217 - 222
  • [43] Formal description of Auditory Scenes
    Darvishi, A
    Schauer, H
    COMPUTER ANIMATION '97 - PROCEEDINGS, 1997, : 67 - 76
  • [44] FORMAL DESCRIPTION OF PROGRAMMING LANGUAGES
    NEUHOLD, EJ
    IBM SYSTEMS JOURNAL, 1971, 10 (02) : 86 - &
  • [45] ON FORMAL DESCRIPTION OF AUTOMATA NETWORKS
    HIRSCH, HJ
    ELECTRONISCHE DATENVERARBEITUNG, 1969, 11 (06): : 251 - &
  • [46] Formal description of plant morphogenesis
    Palubicki, Wojtek
    Kokosza, Andrzej
    Burian, Agata
    JOURNAL OF EXPERIMENTAL BOTANY, 2019, 70 (14) : 3601 - 3613
  • [47] Formal description of monitors by CCS
    Yuen, Shoji
    Sakabe, Toshiki
    Inagaki, Yasuyoshi
    Systems and Computers in Japan, 1992, 23 (01): : 1 - 14
  • [48] Description of the Cliwoc Database
    G. P. Können
    F. B. Koek
    Climatic Change, 2005, 73 : 117 - 130
  • [49] FORMAL DESIGN PRINCIPLES OF A COMPLETE AUTOMATIC DATABASE DESIGN PROCEDURE SYSTEM FOR SYNTACTIC DATABASE-MANAGEMENT SYSTEMS
    VEINEROV, OM
    BLYUM, VM
    KAZAROV, MS
    CYBERNETICS, 1987, 23 (03): : 377 - 383
  • [50] Description of the CLIWOC database
    Können, GP
    Koek, FB
    CLIMATIC CHANGE, 2005, 73 (1-2) : 117 - 130
12345