This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
This article reports the results of a scientometric assessment of the Southern Africa Development Community countries. The National Science Indicators database of Thomson- Reuters...
This article shows that the creation of cyberworlds (interactive virtual environments) can be an excellent educational tool covering a wide range of computer science and engineeri...
: The term innovation resonates broadly in cyberspace, books and journals. A careful analysis of the vast open-source information indicates that the engineering literature on under...