Property templates for checking source code security. | 0 | 0.34 | 2017 |
On Model-Based Software Development | 3 | 0.44 | 2013 |
A model-based approach to testing software for critical behavior and properties | 0 | 0.34 | 2010 |
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition | 8 | 0.54 | 2009 |
Applying Formal Methods to a Certifiably Secure Software System | 37 | 1.61 | 2008 |
Developing high quality software with formal methods: what else is needed? | 1 | 0.36 | 2005 |
A Panacea or Academic Poppycock: Formal Methods Revisited | 1 | 0.35 | 2005 |
Introduction to the experience reports track | 0 | 0.34 | 2005 |
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). | 1 | 0.37 | 2004 |
Managing Complexity in Software Development with Formally Based Tools | 4 | 0.52 | 2004 |
Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda | 70 | 3.91 | 2002 |
Proving Invariants of I/O Automata with TAME | 26 | 1.64 | 2002 |
Using TAME to prove invariants of automata models: Two case studies | 8 | 0.84 | 2000 |
Using model checking to generate tests from requirements specifications | 219 | 10.90 | 1999 |
Using Model Checking to Generate Tests from Requirements Specifications | 1 | 0.37 | 1999 |
SCR: A Practical Approach to Building a High Assurance COMSEC Syste | 17 | 1.27 | 1999 |
Applying the SCR requirements method to a weapons control panel: an experience report | 17 | 1.98 | 1998 |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications | 120 | 7.18 | 1998 |
Using the SCR* Toolset to Specify Software Requirements | 9 | 0.71 | 1998 |
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications | 5 | 0.74 | 1997 |
The SCR method for formally specifying, verifying, and validating requirements: tool support | 29 | 1.94 | 1997 |
Rigorous requirements for real-time systems: evolution and application of the SCR method (tutorial) | 0 | 0.34 | 1997 |
Requirements specifications for hybrid systems | 7 | 2.18 | 1995 |
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? | 0 | 0.34 | 1992 |