| | 
Model-Driven Verification and Validation, Safe & Secure Systems & Software Symposium, June 2010.
Adoption Practices for Model Driven Engineering (MDE) presented at Lockheed Martin Architects Workshop August 2011.
Evolving Systems Engineering through Model Driven Functional Analysis, NDIA, October 2009.
Requirement Modeling for the C-5 Modernization, CrossTalk, 2009.
Life Cycle Integration of Model-Based Testing Tools, DASC, 2005.
Using Models for Development and Verification of High Integrity Systems, INCOSE, 2004.
Using Model-Based Testing to Assess Smart Card Interoperability Conformance, CCCT, 2004.
Objective Measures from Model-Based Testing, STAREAST, 2004.
Interface-Driven, Model-Based Test Automation, CrossTalk, 2003.
Model-based Approach to Security Test Automation, ISSRE, 2002.
Mars Polar Lander Fault Identification Using Model-based Testing, NASA Software Engineering Workshop, 2001.
Comparison of the Simulink Design Verifier with T-VEC Vector Generation System
What is Model Driven Engineering (MDE) and How Can it Impact Process, People, Tools and Productivity
2010 Technology and Business Trends
Objective Measures for V&V and Software Reliability
What is Good About SOA Is What is Bad About SOA
Guidelines for Software Tool Qualification
Strategies for Web and GUI Testing
Strategies Leading To Successful Integration and Test
Bayesian Networks - A New Class of Management Tools for Prediction, Estimation and Risk Management
The Engineering of Model-Based Testing: Guidelines and Case Studies
Bayesian Belief Network Approach to Software Reliability
Process Workflow and Application Lifecycle Management Tool Survey
Component Assessment Using Specification-Based Analysis and Testing
Applying the Test Automation Framework With Use Cases and the Unified Modeling Language
Requirement-Driven Planning, Testing & Measurement
Guidelines for Using Test Automation Framework Measures
Improving Cost, Schedule, and Quality Targets through Improved Requirements and Testing Practices
Model-Based Verification and Validation for Security Requirements of Systems
Guidance for Achieving Mission Assurance in Software-Intensive Systems
Requirements-Based Verification Sign-Off for Subcontract Integration Compliance
Risks and Mitigation Strategies for Using Automatic Code Generation Tools
Defining Requirements For and Designing Safety-Critical Software Intensive Systems Training
Model-based Development and Automated Testing
T-VEC and Simulink Tester Training
Model Driven Engineering for High Dependability Systems
Testing Complex Systems
| |
