All Outputs (2)

Modelling interrelationship between diseases with communicating stream x-machines (2022)
Journal Article
Jayatilake, D., Phung, K., Ogunshile, E., & Aydin, M. (2022). Modelling interrelationship between diseases with communicating stream x-machines. Proceedings of the Institute for System Programming of the RAS, 34(6), 147-164. https://doi.org/10.15514/ispras-2022-34%286%29-11

The world is moving towards alternative medicine and behavioural alteration for treating, managing, and preventing chronical diseases. In the last few decades, diagrammatical models have been extensively used to describe and understand the behaviou... Read More about Modelling interrelationship between diseases with communicating stream x-machines.

Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine (2022)
Presentation / Conference
Adewale Sanusi, B., Ogunshile, E., Aydin, M., Olatunde Olabiyisi, S., & Oyedepo Oyediran, M. (2022, August). Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine. Paper presented at 9th International Conference on Computer Science and Information Technology (CSIT 2022), Chennai, India

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.