Add to Google
Archive of High Assurance and Tooling
-
New Whitepaper: Agile and High Assurance
Posted on November 13, 2011 by Dean Leffingwell in Agile and FDA, High Assurance and Regulated Environments, High Assurance and ToolingFinally. For those who have been following the High Assurance and Regulated Environments series, I am pleased to announce the completion and publication of the whitepaper: Agile Software Development with Verification and Validation in High Assurance and Regulated Environments. (Click on the image below...
Continue reading this entry → -
HIgh Assurance Series Update
Posted on August 2, 2011 by Dean Leffingwell in Agile and FDA, High Assurance and Regulated Environments, High Assurance and ToolingI haven't posted much in this category lately as I've been busy drafting and redrafting the new whitepaper: Agile Software Development with Verification and Validation in High Assurance and Regulated Environments. (Ok, I've been goofing off some, too.) But finally, Craig Langenfeld...
Continue reading this entry → -
Tooling for User Story Verification, Part 2
Posted on May 8, 2011 by Dean Leffingwell in Agile and FDA, High Assurance and Regulated Environments, High Assurance and ToolingNote: This post is a continuation of the series on Agile in High Assurance and Regulated Environments. In the last post in this series, Tooling to Automate User Story Verification, I pointed to a post, Tools to Automate User Story...
Continue reading this entry → -
Tooling to Automate User Story Verification
Posted on April 16, 2011 by Dean Leffingwell in Agile and FDA, High Assurance and Regulated Environments, High Assurance and ToolingIn a recent post, I noted that Craig Langenfeld, my co-contributor on the Agile in High-Assurance and Regulated Environments series, was beginning to describe how tooling can be used to automate (or semi-automate) much of the formal verification...
Continue reading this entry →