IMPLICIT SYSTEM SPECIFICATION AND THE INTERFACE EQUATION

被引：12
|
作者：
SHIELDS, MW
机构：
来源：
COMPUTER JOURNAL | 1989年 / 32卷 / 05期
关键词：
D O I：
10.1093/comjnl/32.5.399
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：399 / 412
页数：14
相关论文
共 50 条
  • [41] A novel compact simulation interface specification
    LIU BuQuan
    WANG HuaiMin
    ScienceChina(InformationSciences), 2014, 57 (06) : 223 - 240
  • [42] Asynchronous interface specification, analysis and synthesis
    Kishinevsky, M
    Cortadella, J
    Kondratyev, A
    1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 1998, : 2 - 7
  • [43] Consistent specification of interface suites in UML
    E.E. Roubtsova
    L.C.M. van Gool
    R. Kuiper
    H.B.M. Jonkers
    Software and Systems Modeling, 2002, 1 (2): : 98 - 112
  • [44] A novel compact simulation interface specification
    Liu BuQuan
    Wang HuaiMin
    SCIENCE CHINA-INFORMATION SCIENCES, 2014, 57 (06) : 1 - 18
  • [45] Overview of the OGC catalog interface specification
    Rao, A
    Percivall, GS
    Enloe, Y
    IGARSS 2000: IEEE 2000 INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, VOL I - VI, PROCEEDINGS, 2000, : 1211 - 1213
  • [46] User interface specification with sequence diagrams: An application to the AIRBUS A380 Datalink system
    Monin A.-E.
    Dowell J.
    Cognition, Technology & Work, 2009, 11 (4) : 267 - 277
  • [47] Specification, equation, and agreement in copular sentences
    Heycock, Caroline
    CANADIAN JOURNAL OF LINGUISTICS-REVUE CANADIENNE DE LINGUISTIQUE, 2012, 57 (02): : 209 - +
  • [48] A predictive interface based on virtual and augmented reality for task specification in a web telerobotic system
    Marín, R
    Sanz, PJ
    del Pobil, AP
    2002 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-3, PROCEEDINGS, 2002, : 3005 - 3010
  • [49] Design of Specification for Data Communication Interface in Bus Rapid Transit (BRT) Intelligent System
    Wang Xiaokun
    Hu Baoyu
    Jiang Guangtian
    Guan Deyong
    Chen Weiqiang
    PROCEEDINGS OF 2018 IEEE 4TH INFORMATION TECHNOLOGY AND MECHATRONICS ENGINEERING CONFERENCE (ITOEC 2018), 2018, : 451 - 456
  • [50] AUTOCORRELATION SPECIFICATION IN SINGULAR EQUATION SYSTEMS
    MOSCHINI, G
    MORO, D
    ECONOMICS LETTERS, 1994, 46 (04) : 303 - 309
12345