AN OPERATIONAL APPROACH TO REQUIREMENTS SPECIFICATION FOR EMBEDDED SYSTEMS

被引:119
作者
ZAVE, P
机构
关键词
D O I
10.1109/TSE.1982.235254
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:250 / 269
页数:20
相关论文
共 53 条
[1]   REQUIREMENTS ENGINEERING METHODOLOGY FOR REAL-TIME PROCESSING REQUIREMENTS [J].
ALFORD, MW .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) :60-69
[2]   CAN PROGRAMMING BE LIBERATED FROM VON NEUMANN STYLE - FUNCTIONAL STYLE AND ITS ALGEBRA OF PROGRAMS [J].
BACKUS, J .
COMMUNICATIONS OF THE ACM, 1978, 21 (08) :613-641
[3]  
BALZER R, 1979, APR P SPEC REL SOFTW, P58
[4]  
BELADY LA, 1979, RES DIRECTIONS SOFTW, P106
[5]  
Bell T. E., 1976, 2nd International Conference on Software Engineering, P61
[6]   EXTENDABLE APPROACH TO COMPUTER-AIDED SOFTWARE REQUIREMENTS ENGINEERING [J].
BELL, TE ;
BIXLER, DC ;
DYER, ME .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) :49-60
[7]  
BOEHM BW, 1976, IEEE T COMPUT, V25, P1226, DOI 10.1109/TC.1976.1674590
[8]  
CONN AP, 1980, P COMPSAC 80 CHICAGO, P401
[9]  
DAVIS A, 1979, APR P IEEE SPEC REL, P15
[10]   SOFTWARE DEVELOPMENT SYSTEM [J].
DAVIS, CG ;
VICK, CR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) :69-84