Automated Program Reengineering at Porting Software into a New Environments via Partial Specifications
Keywords:
Software Environment, Partial Specifications, Program Semantics, Program Reengineering, PortingAbstract
The approach to program reengineering based on the use of environment partial specifications which describe its behavior is considered. Semantic primitives of environment specification and specification creation methods are depicted. Program reengineering
is automated using an algorithm which checks compatibility of two environments, analyses the semantics of an old and a new environments and transforms the old environment interface in the new one, thus, porting the program.
Published
2012-04-20
How to Cite
Itsykson, V. (2012). Automated Program Reengineering at Porting Software into a New Environments via Partial Specifications. Information and Control Systems, (2), 31–38. Retrieved from http://proceedings.spiiras.nw.ru/index.php/ius/article/view/13790
Issue
Section
Hardware and software resources