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 条
  • [21] Use of a computer-based tool for systems engineering mega railway projects
    Allan, J
    Burdett, S
    Neal, P
    Williams, J
    COMPUTERS IN RAILWAYS V, VOL 1: RAILWAY SYSTEMS AND MANAGEMENT, 1996, : 241 - 250
  • [22] Ontologies in the Engineering of Management and Autonomic Systems: A Reality Check
    John Strassner
    Declan O’Sullivan
    David Lewis
    Journal of Network and Systems Management, 2007, 15 : 5 - 11
  • [23] Ontologies in the engineering of management and autonomic systems: A reality check
    Strassner, John
    O'Sullivan, Declan
    Lewis, David
    JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, 2007, 15 (01) : 5 - 11
  • [24] Decisions not requirements - Decision-centered engineering of computer-based systems
    Evans, R
    Park, S
    Alberts, H
    INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 435 - 442
  • [25] A software engineering approach to the development of computer-based patient record systems
    da-Costa, CG
    Quaresma, RP
    Sabbatini, RME
    JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION, 2000, : 986 - 986
  • [26] COMPUTER-BASED KNOWLEDGE SYSTEMS
    WYATT, J
    LANCET, 1991, 338 (8780): : 1431 - 1436
  • [27] COMPUTER-BASED TEACHING SYSTEMS
    MARGOULIS, YD
    VOPROSY PSIKHOLOGII, 1986, (06) : 176 - 178
  • [28] COMPUTER-BASED KNOWLEDGE SYSTEMS
    DAWSON, K
    COX, J
    SMITH, O
    LANCET, 1992, 339 (8786): : 185 - 186
  • [29] COMPUTERS AND COMPUTER-BASED SYSTEMS
    VYSSOTSKY, VA
    BELL LABORATORIES RECORD, 1975, 53 (01): : 90 - 95
  • [30] COMPUTER-BASED MEDICAL SYSTEMS
    KRIEWALL, TJ
    LONG, JM
    COMPUTER, 1991, 24 (03) : 9 - 12
12345