Intelligent graphical interface for tunnel support specification

被引：0
|
作者：
Brown, David C.
Salazar, Guillermo F.
Liu, Shawna X.
机构：
来源：
Proceedings of the World Congress on Expert Systems | 1991年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] AN INTEGRATED SPECIFICATION SUPPORT SYSTEM FOR COMMUNICATION SOFTWARE-DESIGN BASED ON STEPWISE REFINEMENT AND GRAPHICAL REPRESENTATION
    SARASHINA, K
    ANDO, T
    OHTA, M
    TOKITA, Y
    TAKAHASHI, K
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 205 - 218
  • [42] Specification by interface separation
    Hayes, I.J.
    Sanders, J.W.
    Formal Aspects of Computing, 1995, 7 (04): : 430 - 439
  • [43] Practical interface specification
    Hoffman, Daniel
    Software - Practice and Experience, 1989, 19 (02) : 127 - 148
  • [44] PRACTICAL INTERFACE SPECIFICATION
    HOFFMAN, D
    SOFTWARE-PRACTICE & EXPERIENCE, 1989, 19 (02): : 127 - 148
  • [45] Design and implementation of graphical specification laguage in GSEIB
    Qi, Zhichang
    Guofang Keji Daxue Xuebao/Journal of National University of Defense Technology, 1994, 16 (02):
  • [46] GCCS: A graphical coordination language for system specification
    Cleaveland, R
    Du, XQ
    Smolka, SA
    COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, 2000, 1906 : 284 - 298
  • [47] Identification of Modules from Graphical Control Specification
    Sarkar, Santonu
    IECON 2021 - 47TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2021,
  • [48] A graphical environment for the specification and verification of reactive systems
    Bhattacharjee, AK
    Dhodapkar, SD
    Seshia, S
    Shyamasundar, RK
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 431 - 444
  • [49] Tools for Graphical Specification and Visualization of DEVS Models
    Wainer, Gabriel
    Liu, Qi
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2009, 85 (03): : 131 - 158
  • [50] SPECIFICATION AND GENERATION OF VARIABLE, PERSONALIZED GRAPHICAL INTERFACES
    BOURNIQUE, R
    TREU, S
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1985, 22 (06): : 663 - 684
12345