CONSISTENCY OF FORMALIZED SPECIFICATIONS IN MULTILEVEL PROGRAMMING

被引：0
|
作者：
PANFILENKO, VP
机构：
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 1993年 / 29卷 / 02期
关键词：
D O I：
10.1007/BF01132782
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：210 / 219
页数：10
相关论文
共 50 条
  • [1] Formalized specifications consistency in multilevel design of programs
    Panfilenko, V.P.
    Kibernetika i Sistemnyj Analis, 1993, (02): : 73 - 84
  • [2] Eventual Consistency Formalized
    Sherratt, Edel
    Prinz, Andreas
    SYSTEM ANALYSIS AND MODELING: LANGUAGES, METHODS, AND TOOLS FOR INDUSTRY 4.0, SAM 2019, 2019, 11753 : 249 - 265
  • [3] FORMALIZED PROGRAM SPECIFICATIONS AND TRANSFORMATION SYNTHESIS
    TSEITLIN, GE
    YUSHCHENKO, EL
    CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (01) : 101 - 120
  • [4] THE PRINCIPLE OF CONSISTENCY AND THE PARADOXICALITY OF FORMALIZED THEORIES
    SIDORENKO, EA
    VOPROSY FILOSOFII, 1983, (06) : 91 - 97
  • [5] Consistency of XML specifications
    Arenas, M
    Fan, WF
    Libkin, L
    INCONSISTENCY TOLERANCE, 2004, 3300 : 15 - 41
  • [6] Map Verification and Repairing Using Formalized Map Specifications
    Maierhofer, Sebastian
    Ballnath, Yannick
    Althoff, Matthias
    2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 1277 - 1284
  • [7] INTERNAL CONSISTENCY OF FRSM SPECIFICATIONS
    LIU, SY
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 29 (02) : 167 - 175
  • [8] Consistency of partial process specifications
    Steen, M
    Derrick, J
    Boiten, E
    Bowman, H
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 248 - 262
  • [9] CONSISTENCY OF RANDOM FIELD SPECIFICATIONS
    FLOOD, RG
    SULLIVAN, WG
    ZEITSCHRIFT FUR WAHRSCHEINLICHKEITSTHEORIE UND VERWANDTE GEBIETE, 1980, 53 (02): : 147 - 156
  • [10] Consistency Checking for LSC Specifications
    Guo, Hai-Feng
    Zheng, Wen
    Subramaniam, Mahadevan
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 119 - 126
12345