Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Hampton, Stephanie Degree Field Computer Science Degree Level Master's

Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell

Creator:

Strauss, Paul J.

Abstract:

An interdisciplinary study into the theory of design decisions has yielded a model for tracking design changes in hardware/software systems, but it still needs to be applied to a larger system to test its efficiency at tracking important data. This thesis creates an implementation of PLEXIL, a language in development...

Resource Type:

Masters Thesis
The InclusiveMag Method: A Start Towards More Inclusive Software for Diverse Populations

Creator:

Mendez, Christopher

Abstract:

How can software practitioners assess whether their software supports diverse users? Although there are empirical processes that can be used to find “inclusivity bugs” piecemeal, what is often needed is a systematic inspection method to assess software’s support for diverse populations. To help fill this gap, this thesis introduces InclusiveMag,...

Resource Type:

Masters Thesis