, , , , . . 1000 ; , , .
-, , .
1) Boeing 6000 , ++ ( 3-10K SLOC) , CORBA,
DMS Software Reengineering Toolkit, , ++, . , 5 . 98% , , 1 -, .
.
:
Akers, R., Baxter, I., Mehlich, M., Ellis, B., Luecke, K., Case Study: ++ , 49 (3): 275-291 2007. .
2) , . - B-2, 1975 . , , / JOVIAL, langauge, ( , , ). . OTOH, JOVIAL, (, , , JOVIAL) . JOVIAL-to-C, DMS, 100% - , ( ...)
. B-2 bomber conversion. B-2
, .
. , .
, , , , , , .