GENERATION AND CONSISTENCY CHECKING OF DESIGN AND PROGRAM STRUCTURES

被引：3
|
作者：
LICHTMAN, ZL [1 ]
机构：
[1] BRANDEIS UNIV,DEPT COMP SCI,WALTHAM,MA 02254
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1986年 / 12卷 / 01期
关键词：
D O I：
10.1109/TSE.1986.6312930
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：172 / 181
页数：10
相关论文
共 50 条
  • [1] CONSISTENCY CHECKING IN HYPOTHESIS GENERATION
    FISHER, SD
    GETTYS, CF
    MANNING, C
    MEHLE, T
    BACA, S
    ORGANIZATIONAL BEHAVIOR AND HUMAN PERFORMANCE, 1983, 31 (02): : 233 - 254
  • [2] Consistency Checking for Automatic Software Generation
    Vargun, Aytekin
    2009 24TH INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES, 2009, : 559 - 564
  • [3] CONSISTENCY CHECKING OF MECHATRONIC DESIGN MODELS
    Hehenberger, Peter
    Egyed, Alexander
    Zeman, Klaus
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, DETC 2010, VOL 3, A AND B, 2010, : 1141 - 1148
  • [4] Agent Design Consistency Checking via Planning
    Yadav, Nitin
    Thangarajah, John
    Sardina, Sebastian
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 458 - 464
  • [5] Consistency Checking based on Ontology of Design Information
    Liu, Yun
    CIVIL ENGINEERING, ARCHITECTURE AND SUSTAINABLE INFRASTRUCTURE II, PTS 1 AND 2, 2013, 438-439 : 1992 - 1997
  • [6] STACE: AN AID TO SYSTEM DESIGN AND CONSISTENCY CHECKING.
    Reynolds, R.A.
    Whiting, P.J.
    1600, (04):
  • [7] Flexible consistency checking
    Nentwich, C
    Emmerich, W
    Finkelstein, A
    Ellmer, E
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2003, 12 (01) : 28 - 63
  • [8] Design and implementation of a checking program for brachytherapy planning
    Grattan, MWD
    Workman, G
    RADIOTHERAPY AND ONCOLOGY, 2003, 68 : S84 - S84
  • [9] Gradual Consistency Checking
    Zennou, Rachid
    Bouajjani, Ahmed
    Enea, Constantin
    Erradi, Mohammed
    COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 267 - 285
  • [10] DATA CONSISTENCY CHECKING
    KALLGREN, DC
    HISTORICAL METHODS, 1995, 28 (01): : 66 - 69
12345