245 search results - page 29 / 49 » Formal Methods in Industrial Software Standards Enforcement |
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
INDIASE
2009
ACM
14 years 5 days ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
FORMATS
2009
Springer
14 years 2 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
ACL
2011
12 years 11 months ago
2011
Topic models have been used extensively as a tool for corpus exploration, and a cottage industry has developed to tweak topic models to better encode human intuitions or to better...