Can I read Automatic abstraction of real-time software and re-implementation in Ada on EtoBox?

Automatic abstraction of real-time software and re-implementation in Ada by Noah Prywes; Evan Lock; Xiang Ge is a scholarly article available to read on EtoBox.

What is Automatic abstraction of real-time software and re-implementation in Ada about?

The paper reports on the underlying concepts of a system for software reverse engineering.Although, the immediate goal is translation from CMS-2 to Ada, the system is envisaged more broadly as a comprehensive environment for the software lifccycle: for initial developmen~maintenance, re-engineering and re-documentationo This environment must assure

Author

Noah Prywes; Evan Lock; Xiang Ge

Publisher

ACM Press

Published

1991

Language

EN