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 条
  • [1] Integrated engineering of computer-based systems
    Sztipanovits, J
    COMPUTER, 1998, 31 (12) : 68 - 69
  • [2] SYSTEMS-ENGINEERING OF COMPUTER-BASED SYSTEMS
    WHITE, S
    ALFORD, M
    HOLTZMAN, J
    KUEHL, S
    MCCAY, B
    OLIVER, D
    OWENS, D
    TULLY, C
    WILLEY, A
    COMPUTER, 1993, 26 (11) : 54 - 65
  • [3] PHILOSOPHIES FOR ENGINEERING COMPUTER-BASED SYSTEMS
    LAWSON, HW
    COMPUTER, 1990, 23 (12) : 52 - 63
  • [4] Reverse engineering of computer-based control systems
    Welch, LR
    Yu, GH
    Ravindran, B
    Kurfess, F
    Henriques, J
    Wilson, M
    Samuel, AL
    Masters, MW
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (04) : 531 - 547
  • [5] Engineering of computer-based systems in process control
    Hammerschmidt, O
    IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1996, : 286 - 291
  • [6] Special issue: Engineering of Computer-Based Systems
    Sterritt, Roy
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2013, 9 (03) : 133 - 133
  • [7] Engineering computer-based systems: Meeting the challenge
    White, SF
    Melhart, BE
    Lawson, HW
    COMPUTER, 2001, 34 (11) : 39 - 43
  • [8] COMPUTER-BASED SYSTEMS-ENGINEERING WORKSHOP
    LAVI, JZ
    AGRAWALA, A
    BUHR, R
    JACKSON, K
    JACKSON, M
    LANG, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 536 : 149 - 163
  • [9] COMPUTER-BASED LEARNING - MODELS AND LESSONS FOR COMPUTER MUSIC SYSTEMS
    ASHLEY, RD
    PROCEEDINGS : 1989 INTERNATIONAL COMPUTER MUSIC CONFERENCE, NOVEMBER 2-5, 1989, : 9 - 12
  • [10] Engineering of Computer-Based Systems - A proposed master curriculum
    Lavi, JZ
    IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1996, : 404 - 411
12345