A Logic-based Framework for Software Construction

Abid Jazaa
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