Reverse software engineering of concurrent programs

Author

Ge, X. ; Prywes, N.

Author_Institution

Computer Command & Control Co., Philadelphia, PA, USA

fYear

1990

fDate

22-25 Oct 1990

Firstpage

731

Lastpage

742

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/JCIT.1990.128357

Filename

128357