Qualitative Software Engineering and Parallel Sorting Algorithm for Real Numbers

Title from PDF of title page viewed January 30, 2019Thesis advisor: Yijie HanVitaIncludes bibliographical references (pages 24-25)Thesis (M.S.)--School of Computing and Engineering. University of Missouri--Kansas City, 2018The research work consists of two parts. Part one is about qualitative software engineering and Event-B modelling for class and Use case diagrams. Now a days distributed and parallel applications are most popular and are used in applications like telecommunications and aircraft systems with complex computations. It is very important to define the exact properties and features of these systems along with the workflow. UML provides a great opportunity of modelling complex applications but lacks in providing the detailed semantics. In this work, we have provided the importance of implementation of specifications using formal methods like event-B through a simple example and verify its results using ProB. Later, we have defined the UML diagrams like use case and class diagrams in various scenarios and have performed the Event B modeling for these examples. The part one report had been published as a research paper to “The 2018 International Conference on Computational Science and Computational Intelligence 2018, Las Vegas, USA”. The paper was accepted to the conference with Paper Id “CSCI6051”. Part two is on parallel Sorting algorithm on real numbers. There are various best algorithms for sorting integers. The current research work applies the recent important results of serial sorting of real numbers in (n√logn) time to the design of a parallel algorithm for sorting real numbers in O(log¹⁺ᵋn) time and (nlogn/√loglogn) operations. This is the first NC algorithm known to take o(nlogn) operations for sorting real numbers.Introduction -- Qualitative software engineering using Event-B -- A parallel sorting algorithm for real numbers -- Improved parallel sort algorithm -- Conclusio