{"id":{"repo_id":"umkc","oai_identifier":"oai:mospace.umsystem.edu:10355/67042"},"canonical_url":"https://search.dev.ndltd.org/etd/umkc/oai:mospace.umsystem.edu:10355/67042","repository":{"repo_id":"umkc","name":"University of Missouri - Kansas City","base_url":"https://mospace.umsystem.edu/oai/request"},"display":{"title":"Qualitative Software Engineering and Parallel Sorting Algorithm for Real Numbers","abstract":"The 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.","abstract_html":"The 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.","abstract_has_math":false,"creators":["Syed, Md Usman Gani"],"institution":"University of Missouri -- Kansas City","degree_name":"M.S.","degree_level":"Masters","degree_discipline":"Computer Science (UMKC)","degree_department":null,"school":null,"contributors":[],"advisors":["Han, Yijie, 1959-"],"committee_chairs":[],"committee_members":[],"year":2018,"date_issued":"2018","date_published":"2018","updated_at":"2026-07-24T05:19:15Z","subjects":[],"languages":["en_US"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/10355/67042","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Han, Yijie, 1959-"]},{"key":"dc:creator","label":"Author","values":["Syed, Md Usman Gani"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2019-01-29T20:30:50Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2019-01-29T20:30:50Z"]},{"key":"dc:date.issued","label":"Date","values":["2018"]},{"key":"dc:publisher","label":"Institution","values":["University of Missouri -- Kansas City"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science (UMKC)"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Masters"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Missouri--Kansas City"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en_US"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/10355/67042"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Title from PDF of title page viewed January 30, 2019","Thesis advisor: Yijie Han","Vita","Includes bibliographical references (pages 24-25)","Thesis (M.S.)--School of Computing and Engineering. University of Missouri--Kansas City, 2018"]},{"key":"dc:description.abstract","label":"Abstract","values":["The 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."]},{"key":"dc:title","label":"Title","values":["Qualitative Software Engineering and Parallel Sorting Algorithm for Real Numbers"]}]}],"canonical_facts":{"dc:contributor.advisor":["Han, Yijie, 1959-"],"dc:creator":["Syed, Md Usman Gani"],"dc:date.accessioned":["2019-01-29T20:30:50Z"],"dc:date.available":["2019-01-29T20:30:50Z"],"dc:date.issued":["2018"],"dc:description":["Title from PDF of title page viewed January 30, 2019","Thesis advisor: Yijie Han","Vita","Includes bibliographical references (pages 24-25)","Thesis (M.S.)--School of Computing and Engineering. University of Missouri--Kansas City, 2018"],"dc:description.abstract":["The 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."],"dc:identifier.uri":["https://hdl.handle.net/10355/67042"],"dc:language.iso":["en_US"],"dc:publisher":["University of Missouri -- Kansas City"],"dc:title":["Qualitative Software Engineering and Parallel Sorting Algorithm for Real Numbers"],"dc:type":["Thesis"],"thesis:degree_discipline":["Computer Science (UMKC)"],"thesis:degree_level":["Masters"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Missouri--Kansas City"]},"updated_at":"2026-07-24T05:19:15Z"}