DYNAMO Project Technical Documents

compilingOCL.pdf
    %A Kurt Stirewalt
    %A Spencer Rugaber
    %T Automated Invariant Maintenance via OCL Compilation
    %J MoDELS / UML 2005 International Conference on Model Driven
    Engineering Languages and Systems
    %C Montego Bay, Jamaica
    %D October 2-7, 2005


fse00.pdf
    %A Reimer Behrends
    %A R. E. Kurt Stirewalt
    %T The Universe Model: An Approach for Improving the Modularity and
       Reliability of Concurrent Programs
    %J Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software
       Engineering (FSE'00)
    %D 2000 


mode_components.ps
    %A Kurt Stirewalt
    %T Separating Concerns in Direct Manipulation User Interfaces
    %J Automated Software Engineering 1999
    %D October 1999
    %C Cocoa Beach, Florida


PostSantaFe.ps
    %A Spencer Rugaber
    %A Kurt Stirewalt
    %T Status and Events in DASADA Systems
    %D January 3, 2001


cases.ps
    %A Spencer Rugaber
    %A Kurt Stirewalt
    %T Position Paper: The Tradeoff Between Dependability and Efficiency in Embedded Systems
    %D August 10, 2001


compile.pdf
    %A Spencer Rugaber
    %A Kurt Stirewalt
    %T Metaprogramming Compilation of Invariant Maintenance Wrappers from OCL Constraints
    %R GIT-CC-03-46
    %I College of Computing, Georgia Institute of Technology
    %D October 28, 2003