Showing 1 - 15 results of 15 for search 'Auguston, Mikhail', query time: 0.09s Refine Results
  1. 1
    Visual meta-programming language graphical user interface for generative programming
    by Carpenter, Steven M.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  2. 2
    Security modeling and correctness proof using Specware and Isabelle
    by Ng, Eng Siong., Koh, Chuan Lian
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  3. 3
    An application of Alloy to static analysis for secure information flow and verification of software systems
    by Shaffer, Alan B.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  4. 4
    Rapid prototyping of robotic systems
    by Smuda, William James.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  5. 5
    Software system architecture modeling methodology for naval gun weapon systems
    by Rivera, Joey
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  6. 6
    Statistical debugging
    by Murphy, Toriano A.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  7. 7
    Testing automation tools for secure software development
    by Eatinger, Christopher J.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  8. 8
    Alloy experiments for a least privilege separation kernel
    by Phelps, David A.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  9. 9
    Automated behavior property verification tool
    by Leo, John K.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  10. 10
    Generating GraphML XML Files for Graph Visualization of Architectures and Event Traces for the Monterey Phoenix Program
    by Shields, Timothy L.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
  11. 11
    Next generation software process improvement
    by Turnas, Daniel
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
    Others
  12. 12
    Building software tools for combat modeling and analysis
    by Chen, Yuanxin
    Published Dece
    Other Authors: “...Auguston, Mikhail...”
    Get full text
    Others
  13. 13
    Code maintenance and design for a visual programming language graphical user interface
    by Pierson, Graham C.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
    Others
  14. 14
    Automated test case generation for reactive software systems based on environment models
    by Imanian, James A.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
    Others
  15. 15
    Environment behavior models for real-time reactive system testing automation
    by Aksu, Muharrem Ugur.
    Published 2012
    Other Authors: “...Auguston, Mikhail...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search