On pushout consistency, modularity and interpolation for logical specifications

被引：0
|
作者：
Pont. Univ Catolica, Rio de Janeiro, Brazil [1 ]
机构：
来源：
Inf Process Lett | / 2卷 / 59-66期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
16
引用
收藏
相关论文
共 50 条
  • [1] On pushout consistency, modularity and interpolation for logical specifications
    Veloso, PAS
    INFORMATION PROCESSING LETTERS, 1996, 60 (02) : 59 - 66
  • [2] The Logical Modularity of Programs
    Ratiu, Daniel
    Marinescu, Radu
    Juerjens, Jan
    16TH WORKING CONFERENCE ON REVERSE ENGINEERING (WCRE 2009), 2009, : 123 - +
  • [3] THE LOGICAL AND EXTRINSIC SOURCES OF MODULARITY
    BEVER, T
    MINNESOTA SYMPOSIA ON CHILD PSYCHOLOGY, 1992, 25 : 179 - 212
  • [4] A Logical Framework for Modularity of Ontologies
    Grau, Bernardo Cuenca
    Horrocks, Ian
    Kazakov, Yevgeny
    Sattler, Ulrike
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 298 - 303
  • [5] Consistency of XML specifications
    Arenas, M
    Fan, WF
    Libkin, L
    INCONSISTENCY TOLERANCE, 2004, 3300 : 15 - 41
  • [6] On interpolation and modularity for ultrafilter logic
    Veloso, PAS
    LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2001, 7 : 270 - 278
  • [7] Modularity analysis of logical design models
    Cai, Yuanfang
    Sullivan, Kevin J.
    ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 91 - 100
  • [8] GRAPHICAL VERSUS LOGICAL SPECIFICATIONS
    BOUDOL, G
    LARSEN, KG
    THEORETICAL COMPUTER SCIENCE, 1992, 106 (01) : 3 - 20
  • [9] GRAPHICAL VERSUS LOGICAL SPECIFICATIONS
    BOUDOL, G
    LARSEN, KG
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 431 : 57 - 71
  • [10] DETERMINIZATION OF LOGICAL SPECIFICATIONS OF AUTOMATA
    CHEBOTAREV, AN
    CYBERNETICS AND SYSTEMS ANALYSIS, 1995, 31 (01) : 1 - 7
12345