Title :
Reverse software engineering of concurrent programs
Author :
Ge, X. ; Prywes, N.
Author_Institution :
Computer Command & Control Co., Philadelphia, PA, USA
Abstract :
The development of a system for reverse software engineering of real-time programs is described. It is addressed specifically to the US Navy´s modernization of tactical and strategic systems. The approach is based on completely automatic translation from CMS-2 into a user-oriented nonprocedural specification language called MODEL. The user can better understand, maintain, and modernize the specification of programs in the MODEL language. There is an existing system for analysis, translation, and optimization in the conversion of MODEL to Ada. This completes the translation from the real-time CMS-2 programs to Ada programs. The overall system will use a powerful workstation with graphics
Keywords :
parallel programming; real-time systems; software engineering; specification languages; Ada; CMS-2; MODEL; completely automatic translation; concurrent programs; optimization; real-time programs; reverse software engineering; tactical and strategic systems; user-oriented nonprocedural specification language; Automatic testing; Automation; Computer aided software engineering; Computer architecture; Documentation; Hardware; Investments; Military computing; Power system modeling; Software engineering;
Conference_Titel :
Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)
Conference_Location :
Jerusalem
Print_ISBN :
0-8186-2078-1
DOI :
10.1109/JCIT.1990.128357
