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 条

[41] Student models in computer-based education
Zaitseva, L
Boule, C
3RD IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS, 2003, : 451 - 451
[42] Engineering of computer-based systems - A proposed curriculum for a degree program at master level
Lavi, JZ
Melhart, B
Pyle, I
INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 54 - 63
[43] Engineering of Computer-Based Systems - A proposed curriculum for a degree program at Bachelor level
Lavi, JZ
Dalcher, D
Mannion, M
Melhart, BE
Gonzales, RM
Gallant, R
EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 344 - 356
[44] An integrated modelling environment for the computer-based embodiment of engineering systems with standard components
Hicks, BJ
Culley, SJ
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE, 2004, 218 (02) : 159 - 168
[45] Software engineering beyond our planning horizon: automation for computer-based systems
Luqi
Broy, M
SCIENCE OF COMPUTER PROGRAMMING, 2002, 42 (01) : 1 - 10
[46] Engineering of computer-based systems - A proposed curriculum for a degree program at bachelor level
Lavi, JZ
Dalcher, D
Mannion, M
Gallant, R
IEEE TRANSACTIONS ON EDUCATION, 2004, 47 (02) : 247 - 253
[47] 'Computer-based tools and methods of competitive engineering'
Horváth, I
Vergeest, JSM
Medland, AJ
COMPUTER-AIDED DESIGN, 2002, 34 (12) : 869 - 870
[48] Multimedia- and computer-based engineering education
Univ of Utah, Salt Lake City, United States
Annu Rev Progr Appl Comput Electromagn, (212-216):
[49] Computer-based aptitude test for electrical engineering
1600, (22):
[50] Computer-based exams in undergraduate engineering courses
Shacham, M
COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 1998, 6 (03) : 201 - 209

← 1 2 3 4 5 →