A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Logic-based Framework for Software Construction
1997
Journal of King Saud University: Computer and Information Sciences
This paper describes a framework for assisting the automatic construction of programs from separately designed and compiled modules. The framework has facilities to automatically extract many important items of information from source codes. It has also facilities to deduce new items from old ones. The framework also supports multiple versions, static, and dynamic selections of appropriate components. It supports graphical displays for system's components and their relationships.
doi:10.1016/s1319-1578(97)80003-1
fatcat:3fo6rlkmabaubnmcbucjxdhgbq