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 条
  • [1] AN IMPLICIT FINITE-DIFFERENCE SCHEME FOR THE DIFFUSION EQUATION SUBJECT TO MASS SPECIFICATION
    CANNON, JR
    LIN, YP
    WANG, SM
    INTERNATIONAL JOURNAL OF ENGINEERING SCIENCE, 1990, 28 (07) : 573 - 578
  • [2] A GRAPHICAL SPECIFICATION SYSTEM FOR USER-INTERFACE DESIGN
    HARBERT, A
    LIVELY, W
    SHEPPARD, S
    IEEE SOFTWARE, 1990, 7 (04) : 12 - 20
  • [3] An executable interface specification for industrial embedded system design
    Huang, Jinfeng
    Voeten, Jeroen
    Wolfs, Serge
    Coopmans, Mark
    QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 37 - +
  • [4] APPLICATION OF IMPLICIT SYSTEM FEEDBACK TO SOLVING THE DIOPHANTINE EQUATION
    FANG, CH
    CHANG, FR
    HUANG, WL
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1993, 24 (12) : 2399 - 2405
  • [5] A standard format and a graphical user interface for spin system specification
    Biternas, A. G.
    Charnock, G. T. P.
    Kuprov, Ilya
    JOURNAL OF MAGNETIC RESONANCE, 2014, 240 : 124 - 131
  • [6] An implicit interface boundary integral method for Poisson's equation on arbitrary domains
    Kublik, Catherine
    Tanushev, Nicolay M.
    Tsai, Richard
    JOURNAL OF COMPUTATIONAL PHYSICS, 2013, 247 : 279 - 311
  • [7] SPECIFICATION DESIGN EXPERT SYSTEM WITH NATURAL-LANGUAGE INTERFACE
    YUKISHITA, M
    NAKAMURA, Y
    REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1989, 37 (01): : 23 - 30
  • [8] A SOFTWARE-DESIGN SUPPORT SYSTEM WITH INTERFACE SPECIFICATION DICTIONARIES
    SUGAI, M
    UCHIYAMA, A
    HAGIWARA, N
    REKIMOTO, J
    KOYAMADA, M
    SHIGO, O
    NEC RESEARCH & DEVELOPMENT, 1989, (92): : 121 - 129
  • [9] The Interface-Modular Method for Global System Behaviour Specification
    Fatima, Urooj
    Braek, Rolv
    MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 339 - 355
  • [10] Specification by interface separation
    Hayes, I.J.
    Sanders, J.W.
    Formal Aspects of Computing, 1995, 7 (04): : 430 - 439
12345