Skip to main content

Research Repository

Advanced Search

Dr Emmanuel Ogunshile's Outputs (21)

Integrating students as academic partners in software engineering: A group software development case study (2025)
Presentation / Conference Contribution

Exploring the role of a Student as an Academic Partner (SAP) in software engineering education, this study investigates the interactions between students and faculty and evaluates the perceptions of students on SAP's integration within a Group Softwa... Read More about Integrating students as academic partners in software engineering: A group software development case study.

Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine (2024)
Presentation / Conference Contribution

Compiler design plays an important role in ensuring that the translation of the programs written in high-level language into executable code is correct. However, in todays’ safety-critical environments, security gaps, visible and hidden defects in co... Read More about Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine.

Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine (2022)
Presentation / Conference Contribution

The improvement of this paper takes advantage of the existing formal method called Stream X-Machine by optimizing the theory and applying it to practice in a large-scale system. This optimized formal approach called Communicating Stream X-Machine (CS... Read More about Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine.

A novel software fault prediction approach to predict error-type proneness in the Java programs using Stream X-Machine and machine learning (2021)
Presentation / Conference Contribution

Software fault prediction makes software quality assurance process more efficient and economic. Most of the works related to software fault prediction have mainly focused on classifying software modules as faulty or not, which does not produce suffic... Read More about A novel software fault prediction approach to predict error-type proneness in the Java programs using Stream X-Machine and machine learning.

Towards a multilingual, cross-cultural and student-led software engineering lectures in UK Higher Education (2021)
Presentation / Conference Contribution

This work attempts to present a novel approach to deliver software engineering lectorial sessions. The work primarily focuses on increasing student engagement by taking a multilingual and cross-cultural approach where students take the lead. The desi... Read More about Towards a multilingual, cross-cultural and student-led software engineering lectures in UK Higher Education.

Covid-19 Care – A mobile application to help connect volunteers and vulnerable people in the community during the Covid-19 lockdown (2020)
Presentation / Conference Contribution

Whenever the world is faced with a devastating outbreak of events, technology innovations have proven to be a go to solution that expedite the recovery process. We propose a mobile application rapidly developed as a contender to the TechForce19 innov... Read More about Covid-19 Care – A mobile application to help connect volunteers and vulnerable people in the community during the Covid-19 lockdown.

An algorithm for implementing a minimal stream X-Machine model to test the correctness of a system (2020)
Presentation / Conference Contribution

The rapid change of requirements has made software more complex and harder to maintain. Software testing tools play an important role in the Software Development Life Cycle. However, many technology companies have employed fast paced development of s... Read More about An algorithm for implementing a minimal stream X-Machine model to test the correctness of a system.

Developing a power efficient private cloud ready infrastructure for small-medium sized enterprises (2018)
Presentation / Conference Contribution

Digital technology is advancing and the means of powering it so. For small-medium enterprise (SME) to remain competitive in today’s economic climate it is paramount they can respond to business challenges with agility and efficiency. Despite knowing... Read More about Developing a power efficient private cloud ready infrastructure for small-medium sized enterprises.

Leveraging cloud computing, virtualisation and solar technologies to increase performance and reduce cost in small to medium-sized businesses (2018)
Presentation / Conference Contribution

Cloud computing has been available for some time and is used in large organisations across the globe. We know that cloud computing is an economically viable concept in these large global organisations, however we do not understand sufficiently whethe... Read More about Leveraging cloud computing, virtualisation and solar technologies to increase performance and reduce cost in small to medium-sized businesses.