ABSTRACT
Funded by the Department of Homeland Security (DHS), the National Institute of Standards and Technology (NIST) started a long-term, ambitious project to identify, enhance and develop software assurance tools. The Software Assurance Metrics And Tool Evaluation (SAMATE) project is leading in (A) developing tests for software evaluation tools, (B) measuring the effectiveness of tools, and (C) identifying gaps in tools and methods. See the workshop web site at http://samate.nist.gov/ SASII.
Index Terms
Static analysis summit II
Recommendations
Static analysis summit II
SIGAda '07Funded by the Department of Homeland Security (DHS), the National Institute of Standards and Technology (NIST) started a long-term, ambitious project to identify, enhance and develop software assurance tools. The Software Assurance Metrics And Tool ...
MP1: languages for safety-critical software: issues and assessment
SIGAda '08: Proceedings of the 2008 ACM annual international conference on SIGAda annual international conferenceLevel - Intermediate.
This intermediate-level tutorial is aimed at people with a technical background in software development. No previous experience with safety-critical standards is required. Some familiarity with one or more of C, C++, Ada, or Java ...
MP1: languages for safety-critical software: issues and assessment
Level - Intermediate.
This intermediate-level tutorial is aimed at people with a technical background in software development. No previous experience with safety-critical standards is required. Some familiarity with one or more of C, C++, Ada, or Java ...







Comments