| Author(s) | Abid Jazaa |
| Affiliation | ComputerScienceDepartment,YarmoukUniversity,lrbid, Jordan |
| Title | A Logic-based Framework for Software Construction |
| Source | Journal of King Saud University. Computer & Information Sciences. Volume 9, No 1. (1997/1417) |
| Abstract | 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. |
