Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 3 of 3

Full-Text Articles in Physical Sciences and Mathematics

Automated Style Feedback For Advanced Beginner Java Programmers, Hannah Blau Nov 2015

Automated Style Feedback For Advanced Beginner Java Programmers, Hannah Blau

Doctoral Dissertations

FrenchPress is an Eclipse plug-in that partially automates the task of giving students feedback on their Java programs. It is designed not for novices but for students taking their second or third Java course: students who know enough Java to write a working program but lack the judgment to recognize bad code when they see it. FrenchPress does not diagnose compile-time or run-time errors, or logical errors that produce incorrect output. It targets silent flaws, flaws the student is unable to identify for himself because nothing in the programming environment alerts him. FrenchPress diagnoses flaws characteristic of programmers who have …


Variation In Human-Intensive Systems: A Conceptual Framework For Characterizing, Modeling, And Analyzing Families Of Systems, Borislava I. Simidchieva Aug 2015

Variation In Human-Intensive Systems: A Conceptual Framework For Characterizing, Modeling, And Analyzing Families Of Systems, Borislava I. Simidchieva

Doctoral Dissertations

A system model---namely a formal definition of the coordination of people, hardware devices, and software components performing activities, using resources and artifacts, and producing various outputs---can aid understanding of the real-world system it models. Complex real-world systems, however, exhibit considerable amounts of variation that can be difficult or impossible to represent within a single model. This dissertation evaluates the hypothesis that the careful characterization and representation of system variation can aid in the generation and analysis of concrete system instances related to one another in specified ways and manifesting different kinds of variation. When a set of closely related systems …


Model-Based Guidance For Human-Intensive Processes, Stefan Christov Mar 2015

Model-Based Guidance For Human-Intensive Processes, Stefan Christov

Doctoral Dissertations

Human-intensive processes (HIPs), such as medical processes involving coordination among doctors, nurses, and other medical staff, often play a critical role in society. Despite considerable work and progress in error reduction, human errors are still a major concern for many HIPs. To address this problem of human errors in HIPs, this thesis investigates two approaches for online process guidance, i.e., for guiding process performers while a process is being executed. Both approaches rely on monitoring a process execution and base the guidance they provide on a detailed formal process model that captures the recommended ways to perform the corresponding HIP. …