Gada Kadoda

Followers

403

Following

278

Co-authors

Mentions

Public Views

Uploads

Papers by Gada Kadoda

Formal software development tools : (an investigation into usability)

Formal methods are techniques that are firmly based in mathematics, they can be used to specify a... more Formal methods are techniques that are firmly based in mathematics, they can be used to specify and verify computer systems. Formal techniques offer many advantages, including correctness and productivity over less formal ones. Wide acceptance of these methods is hindered by their relatively difficult notations and theories. This thesis takes the view that the availability of usable tools that support formal techniques plays an important role in promoting their use by a wider community of software engineers. [Continues.]

ICT and NIS: Sustainable Development in Sudan through Technology and Innovation

Scientific Research, research councils and research associations including universities and highe... more Scientific Research, research councils and research associations including universities and higher education institutions play a critical role in the process of knowledge creation and in defining ways to guide knowledge deployment. Notwithstanding, the role of research is highly constrained without envisioning it as part of a national innovation system (NIS). NISs have the ability to enhance the act of innovation inside the nation&#39;s borders, with implications on economic growth, research and development. This work focused on the role of ICT in a number of NIS Country cases to investigate the ways by which ICT can be an enabler for increased productivity and effectiveness. This paper examines the components of NIS using the guidelines of the OECD (Organization of Economic Cooperation and development), as well as through extensive document review and information gathering from local stakeholders. The findings indicate that leveraging ICTs greatly empowers key economic sectors i.e. infrastructure, mining, trade and manufacturing, agriculture, energy, tourism, financial services thereby increases their competitiveness and facilitates sustainable development. Some of the country approaches, where NIS had a positive impact on development, include by improving education, creating public-private partnerships, upgrading infrastructure, institutionalizing IT policy, branding, positioning and promotion. The paper discusses ICT features that are required for NIS infrastructure, in particular appropriate technology and skilled personnel. More importantly, the paper presents, in the context of Sudan, the impeding factors to the development of a National Innovation System and makes recommendations on ways towards change.

African philosophy: a key to African innovation and development

African Journal of Science, Technology, Innovation and Development, 2014

This essay demonstrates how African philosophy can be a key to African innovation and development... more This essay demonstrates how African philosophy can be a key to African innovation and development. Its first section illustrates how philosophy as a discipline drives innovation in science and technology. The second part proposes a new discipline linking science, engineering and technology to sustainable, ethical development. The third section proposes an ethics core derived from ancient Egyptian and Ethiopian thought. It addresses the fact that non-African principles and personnel have in some measure directed African development, resulting in unsustainable and sometimes destructive outcomes. The conclusion argues that the primary instrument for African development must be a Pan-African curriculum developed through research funded by the African Union. The curriculum's dissemination will depend on widespread broadband internet access throughout Africa. The essay's method is philosophical, deploying conceptual analysis of key terms as well as generalized descriptions of the intersections of science, technology, innovation and development. The essay proposes prescriptions for developing relations among these fields for the theory and policy of African development. This study is empirical in the sense that philosophy offers broad generalizations about experience. However, it does not examine data-sets characteristic of more specifically targeted scientific descriptions.

Gada Kadoda

Uploads

Papers by Gada Kadoda

Log In