Ada: the cheapest way to build a line of business
暂无分享,去创建一个
ed abstracted abstracted I I abstracted input #H input #2 i i (“11”) input #3 i i output (‘I,“) (“W) ------------------------------------_----I-------------------------------------------i-~----------------------------------~-r---------------------“X” “x” : t subrange3.1 I : fl(il,i2, 13) “X” subrange 2.1 subrange3.2 i i f2(il ,i2) I 8 subrange 1 .l subrange 2.2 subrange 3.2 i i I I f3(i3) I I subrange 1.2 subrange 2.2 subrange3.2 ! i f4(il ,i3) Figure 2. Example CORE Requirement
[1] Bernard Carré,et al. SPARK—an annotated Ada subset for safety-critical programming , 1990, TRI-Ada '90.
[2] David Lorge Parnas,et al. Software Requirements for the A-7E Aircraft. , 1992 .
[3] John W. Brackett,et al. The Core method for real-time requirements , 1992, IEEE Software.