Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Robert; Morrison"”.
-
Core extraction and non-example generation : debugging and understanding logical models
Declarative models, in which conjunction and negation are freely used, are a powerful tool for software specification and verification. Unfortunately, tool support for developing and debugging such models is limited. The challenges to developing such tools are twofold: technical information must be …
-
Building dependability arguments for software intensive systems
A method is introduced for structuring and guiding the development of end-to-end dependability arguments. The goal is to establish high-level requirements of complex software-intensive systems, especially properties that cross-cut normal functional decomposition. The resulting argument documents …
-
Batman and the superhero fairytale: deconstructing a revisionist crisis
1 PDF file (iii, 62 pages)