Search Constraints

Start Over
Filtering by: Contributor Walkingshaw, Eric Remove constraint Contributor: Walkingshaw, Eric Decade 2000-2009 Remove constraint Decade: 2000-2009

Search Results

  • 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
    Full Text:
    would like to thank the other members of my project group, Eric Walkingshaw and Jon Mueller, for their

  • Failure state identification for requirements development during complex system design

    Creator:
    Mueller, Jonathan D.
    Abstract:
    The increasing level of complexity in systems creates a growing challenge for engineers to design safe and reliable systems. The growing complexity can lead to possible moments when situations occur that were unanticipated or were not known that they could occur by designers and leave the system in an undesirable...
    Resource Type:
    Masters Thesis
    Full Text:
    her support, patience and guidance over the past two years. Eric Walkingshaw, Paul Strauss, and Dr