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 条
  • [21] Formalizing and Checking Multilevel Consistency
    Bouajjani, Ahmed
    Enea, Constantin
    Mukund, Madhavan
    Shenoy, Gautham R.
    Suresh, S. P.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 379 - 400
  • [22] Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process
    Redondo, RPD
    Arias, JJP
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 801 - 802
  • [23] Checking consistency of SDL+MSC specifications
    D'Souza, Deepak
    Mukund, Madhavan
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2648 : 151 - 165
  • [24] Pragmatic consistency management in industrial requirements specifications
    Scheffczyk, J
    Borghoff, UM
    Birk, A
    Siedersleben, J
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 272 - 281
  • [25] Checking consistency of SDL plus MSC specifications
    D'Souza, D
    Mukund, M
    MODEL CHECKING SOFTWARE, 2003, 2648 : 151 - 165
  • [26] Verifying consistency and validity of formal specifications by testing
    Liu, SY
    FM'99-FORMAL METHODS, 1999, 1708 : 896 - 914
  • [27] Hierarchy of Three-Party Consistency Specifications
    Loss, Julian
    Maurer, Ueli
    Tschudi, Daniel
    2016 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, 2016, : 3048 - 3052
  • [28] On pushout consistency, modularity and interpolation for logical specifications
    Veloso, PAS
    INFORMATION PROCESSING LETTERS, 1996, 60 (02) : 59 - 66
  • [29] On pushout consistency, modularity and interpolation for logical specifications
    Pont. Univ Catolica, Rio de Janeiro, Brazil
    Inf Process Lett, 2 (59-66):
  • [30] Towards trustworthy specifications I:: Consistency checks
    Roggenbach, M
    Schröder, L
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2001, 2267 : 305 - 327
12345