Search
Now showing items 1261-1270 of 3109
SPIN Model Checker for MACT
(North Dakota State University, 2013)
The SPIN (Simple PROMELA Interpreter) model checker is a verification system used to check high-level models of concurrent systems and improve the overall system’s performance. The SPIN model checker takes the PROMELA model ...
Metrics and Tools to Guide Design of Graphical User Interfaces
(North Dakota State University, 2014)
User interface design metrics assist developers evaluate interface designs in early phase before delivering the software to end users. This dissertation presents a metric-based tool called GUIEvaluator for evaluating the ...
A Structural Metric Model to Predict the Complexity of Web Interfaces
(North Dakota State University, 2017)
The complexity of web pages has been widely investigated. Many experimental studies used several metrics to measure certain aspects of the users, tasks or GUIs. In this research, we focusing on the visual structure of web ...
Automatic Conceptual Feedback on Software Tests
(North Dakota State University, 2017)
Students in introductory programming courses face many challenges. While the educators try their best to assist students with these challenges by adopting different approaches, majority of them end up overlooking the ...
Adapting Web Page Tables on Mobile Web Browsers: Results from Two Controlled Empirical Studies
(North Dakota State University, 2014)
Displaying web page content in mobile screens is a challenging task and users often face difficulty retrieving the relevant data. It can force them to adopt a time-consuming hunt-and-peck strategy. Application of design ...
Vector-Vector Patterns for Agricultural Data
(North Dakota State University, 2013)
Agriculture is increasingly driven by massive data, and some challenges are not covered by existing statistics, machine learning, or data mining techniques. Many crops are characterized not only by yield but also by quality ...
A User Interface Prototype of Test Support As-A-Service
(North Dakota State University, 2012)
Cloud computing provides software as a service over the internet. With the increasing popularity of cloud applications, the development of error-free cloud-based applications that function reliably is necessary. Software ...
Document Management System
(North Dakota State University, 2012)
The debate of using paper documents over computer documents has been a long topic of interest, there has been a lot of research done on the topic. Also, experiments have been done to evaluate the performance of users working ...
Pressure-based Authentication: A Secure and Usable Approach
(North Dakota State University, 2018)
Due to its invisibility feature, pressure force is useful to enhance the security of authentication, especially preventing shoulder surfing. However, it is challenging to memorize a pressure-based password. This paper ...
Evaluation of Software Testing Coverage Tools: An Empirical Study
(North Dakota State University, 2013)
Code coverage is one of the most important aspects of software testing, which helps software engineers to understand which portion of code has been executed using test suite throughout the software testing process. Automatic ...