Master of Science, Miami University, 2023, Computer Science and Software Engineering

Software models are used to analyze and understand the properties of the system, providing stakeholders with an overview of how the system should work before actually implementing it. Such models are usually created informally, such as drawing sketches on a whiteboard or paper, especially during the early design phase, because these methods foster communication and collaboration among stakeholders. However, these informal sketches must be formalized to be useful in later applications, such as analysis, code generation, and documentation. This formalization process is often tedious, error-prone, and time-consuming. In an effort to avoid recreating formal models from scratch, this thesis presents SkeMo, a sketch-based software modeling tool. SkeMo is built on a CNN-based image classifier using 3000 input sketches of class diagram components and integrated into the functionality of an existing web-based model editor, the Instructional Modeling Language (IML), with a newly implemented touch interface. SkeMo was evaluated using a ten-fold cross-validation to assess the image classifier and through a user study involving 20 participants to collect metrics and feedback. The results demonstrate the promising potential of sketch-based modeling as an intuitive and efficient modeling practice, allowing users to quickly and easily create models to design complex software systems.

Committee: Eric Rapos (Advisor); Christopher Vendome (Committee Member); Xianglong Feng (Committee Member); Douglas Troy (Committee Member) Subjects: Computer Science; Engineering

MS, University of Cincinnati, 2016, Engineering and Applied Science: Computer Engineering

Software installed on avionic equipment requires higher safety standards than any other environment. DO-178C, Software Consideration in Airborne Systems and Equipment Certification, proposed by Radio Technical Commission for Aeronautics (RTCA) and European Organization of Civil Aviation Equipment (EUROCAE), deals with the safety of software used in airborne systems. DO-178C was completed and approved by the RTCA in 2011 and replaces DO-178B as the primary document for Transport Canada, EASA and FAA. DO-178C defines the objectives and focuses on the procedures to produce software at a certain security / safety level. The inclusion of object-oriented concept and formal methods in DO-178C allows great flexibility of implementation. Most of the qualified software tools that can pass the certification process outlined in DO-178C are from big companies such as Matlab, AdaCore and IBM. The prohibitive price to enter the market makes it unaffordable for small business. The purpose of this research is to identify suitable open source software that can fulfill the same mission with minimal effort and cost while complying with the strict DO-178C standards.

Committee: Carla Purdy (Committee Chair); Chia Han (Committee Member); Nan Niu (Committee Member) Subjects: Computer Engineering

Doctor of Philosophy, University of Toledo, 2014, Engineering

The applications of digital signal processing continue to expand and use in many different areas such as signal processing, radar tracking, image processing, medical imaging, video broadcasting, and control algorithms for sensor array processing. Most of the signal processing applications are intensive and may not achieve the real time requirements. However, the Multi-core phenomenon has been embraced by almost all processor manufacturers and the road to the future is through parallel processing. Now we have many parallel processing platforms that developed for high performance such as: 1) Multi-Core/Many-Cores 2) Graphic Processing Units (GPU) 3) Field Programmable Gate Arrays (FPGA) This research work involves developing optimized parallel architectures of many signal processing applications such as Extensive Cancellation Algorithm (ECA), Direct Data Domain (D3), Block Compressive Sampling Matching Pursuit algorithm (BCoSaMP), video processing, Discrete Wavelet Transform (DWT), Particle Filter (PF), and Iterative Hard Thresholding (IHT) on different platforms such as Multi-core, FPGA and GPU. This is performed by exploring opportunities of any computation and storage that can be eliminated to achieve high performance and meet its real time requirements. Different techniques and ideas have also been derived from different advanced fields to increase the intelligibility and the usefulness of our research. A new innovative generalized method is proposed which can be very helpful for many researchers in various areas. Then, the applications have been moved higher ordering through implementing interfaces. This makes it adaptable by specifying all the input parameters of a certain application and fast prototyping through different performance evaluations. We propose and exploit many parallelization methods and optimization techniques in order to improve the latency, hardware usage, power consumption, cost, and reliability. These parallelization methods predict (open full item for complete abstract)

Committee: Mohsin Jamali (Committee Chair); Mohamed Hefzy (Committee Member); Ezzatollah Salari (Committee Member); Devinder Kaur (Committee Member); Rashmi Jha (Committee Member) Subjects: Computer Engineering; Electrical Engineering

Master of Science (MS), Ohio University, 1988, Industrial and Manufacturing Systems Engineering (Engineering)

Computer aided software engineering tool for generating C code

Committee: William Terry (Advisor) Subjects: Engineering, Industrial

Master of Science (MS), Ohio University, 1994, Mechanical Engineering (Engineering)

Development of a practical software tool for the design of rolls for near net shape profile rolling

Committee: J. Gunasekera (Advisor) Subjects: Engineering, Mechanical

PHD, Kent State University, 2011, College of Arts and Sciences / Department of Modern and Classical Language Studies

There is often a significant disjunction between how software designers envision the use of their application programs and how the software is actually understood, perceived, and employed by end users. When this disjunction occurs, software tools and technology fail to meet user needs or expectations and do not fulfill business objectives. This study investigates this disjunction in a translation agency. Some researchers have argued that many software system designs fail because insufficient attention is paid during the design phase to the social and cultural context of how and why people actually work with software applications in their organizational settings. These researchers argue that the development of usable and useful software thus depends on receiving organizationally meaningful and actionable information from end users both during the design process and during the refinement and upgrade cycles of the software. Regrettably, this information, which is essentially ethnographic in nature, is not easy to obtain using the normal methods of requirement specification. This dissertation argues that ethnography can make a significant contribution to the success of the design process and serve as a valuable requirement specification method. The research focuses on the use of translation tools by translation professionals at the agency and uses detailed ethnographic description to document the movement of translation objects (texts, data objects) through the organization and between participants by describing the workflows, processes, and tasks that must be performed with the translation tools. The study uses microethnography to investigate the use of specific features of the translation tools and makes recommendations for translation tool design. There is some evidence in the literature to suggest that many software tool designers find it difficult to translate ethnographic research findings into software design decisions. The dissertation proposes a model for analy (open full item for complete abstract)

Committee: Gregory Shreve PhD (Advisor); Keiran Dunne PhD (Committee Member); Françoise Massardier-Kenney PhD (Committee Member); Richard Feinberg PhD (Committee Member); Declan Keane PhD (Committee Member) Subjects: Information Technology; Language; Modern Language; Technology

Master of Sciences (Engineering), Case Western Reserve University, 2010, EECS - Computer Engineering

This thesis involves designing and implementing a complex GUI system using a drag-and-drop GUI tool, followed by modeling the system as a set of finite state models (FSMs) to be used as the basis for developing a suite of design and implementation tests using the concept of complete interaction sequences (CIS). The next step is identify new transitions within the FSMs corresponding to implementation tests that were not also design tests, together with defects and surprises only detected by this subset of implementation tests. These additional transitions and their associated faults (sum of defects and surprises) are then analyzed to determine the root cause of how and when they were introduced into the system and whether or not they are due to the GUI tool used to produce the GUI code. Suggestions are given on how to prevent this unintended behavior introduced by the GUI tool, not the GUI design.

Committee: Guo-Qiang Zhang Ph. D. (Advisor); Lee White Ph. D. (Committee Member); Andy Podgurski Ph. D. (Committee Member) Subjects: Computer Science