1 Models, Proofs and the Engineering of Computer-Based Systems: A Reality Check

被引：0
|
作者：
Lann, Gérard Le [1 ]
机构：
[1] INRIA, - BP 105 - 78153 Le Chesnay Cedex, France
来源：
INCOSE International Symposium | 1999年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：414 / 421
相关论文
共 50 条
  • [31] COMPUTER-BASED EXPORT SYSTEMS
    DAVIES, GJ
    INTERNATIONAL JOURNAL OF PHYSICAL DISTRIBUTION & MATERIALS MANAGEMENT, 1981, 11 (5-6): : 39 - 51
  • [32] COMPUTER-BASED DIAGNOSTIC SYSTEMS
    YOLTON, RL
    NEW ENGLAND JOURNAL OF MEDICINE, 1994, 331 (15): : 1023 - 1023
  • [33] COMPUTER-BASED MESSAGE SYSTEMS
    LAWRENCE, B
    ONLINE, 1980, 4 (03): : 6 - 7
  • [34] CONSTRUCTION OF MENTAL MODELS IN COMPLEX COMPUTER-BASED LEARNING-SYSTEMS
    MANDL, H
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 1992, 27 (3-4) : 566 - 566
  • [35] ON THE RELIABILITY OF COMPUTER-BASED CLIMATE MODELS
    Scafetta, Nicola
    ITALIAN JOURNAL OF ENGINEERING GEOLOGY AND ENVIRONMENT, 2019, 19 (01): : 49 - 70
  • [36] Computer-Based Global Models: From Early Experiences to Complex Systems
    Castro, Rodrigo
    Jacovkis, Pablo
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2015, 18 (01):
  • [37] COMPUTER-BASED PROOFS BY INDUCTION IN GRAPH-THEORY - A HOUSE OF CARDS
    BAREFOOT, CA
    ENTRINGER, RC
    MULLHAUPT, AP
    MATHEMATICAL AND COMPUTER MODELLING, 1993, 17 (11) : 17 - 23
  • [38] A survey of computer-based deformable models
    Moore, Patricia
    Molloy, Derek
    IMVIP 2007: INTERNATIONAL MACHINE VISION AND IMAGE PROCESSING CONFERENCE, PROCEEDINGS, 2007, : 55 - 64
  • [39] Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering
    Le Lann, Gerard
    Simon, Paul
    COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 259 - 278
  • [40] TASK-FORCE ON COMPUTER-BASED SYSTEMS-ENGINEERING HOLDS 1ST MEETING
    AGRAWALA, AK
    LAVI, JZ
    WHITE, S
    COMPUTER, 1991, 24 (08) : 86 - 87
12345