Abstract

This project, funded by the National Science Foundation (NSF), focuses on research issues in software portabilitity. The portability problem is viewed as "reuse" across hardware, software, and cultural environments. These environments may be parallel and/or distributed. The goals of the project include evaluation of existing portability techniques; development of techniques applicable to new software classes, such as software that must meet stringent real-time requirements; development of formal methods to specify and design for portability, and for portability metrics; and the influences of portability on formal specification and verification.