[-] Show simple item record

dc.contributor.advisorHan, Yijie, 1959-
dc.contributor.authorSyed, Md Usman Gani
dc.date.issued2018
dc.date.submitted2018 Fall
dc.descriptionTitle from PDF of title page viewed January 30, 2019
dc.descriptionThesis advisor: Yijie Han
dc.descriptionVita
dc.descriptionIncludes bibliographical references (pages 24-25)
dc.descriptionThesis (M.S.)--School of Computing and Engineering. University of Missouri--Kansas City, 2018
dc.description.abstractThe 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.eng
dc.description.tableofcontentsIntroduction -- Qualitative software engineering using Event-B -- A parallel sorting algorithm for real numbers -- Improved parallel sort algorithm -- Conclusion
dc.format.extentvi, 26 pages
dc.identifier.urihttps://hdl.handle.net/10355/67042
dc.publisherUniversity of Missouri -- Kansas Cityeng
dc.subject.lcshSoftware reengineering
dc.subject.lcshAlgorithms -- Computer programs
dc.subject.lcshNumbers, Real
dc.subject.otherThesis -- University of Missouri--Kansas City -- Computer science
dc.titleQualitative Software Engineering and Parallel Sorting Algorithm for Real Numberseng
dc.typeThesiseng
thesis.degree.disciplineComputer Science (UMKC)
thesis.degree.grantorUniversity of Missouri--Kansas City
thesis.degree.levelMasters
thesis.degree.nameM.S.


Files in this item

[PDF]

This item appears in the following Collection(s)

[-] Show simple item record