references > article : “A Specifier’s Introduction to Formal Methods” or None & edition : 6th ed. or version 3.2.2
Click on the filter values below to narrow your results.
· Inquiry-Based Requirements Analysis · An Analysis of the Requirements Traceability Problem · Acquiring COTS Software Selection Requirements · Offering Software Maintenance as an Offshore Service · Software Unit Test Coverage and Adequacy · Notes on Structured Programming · Regression Testing Minimization, Selection and Prioritization: A Survey · Adaptive Random Testing: The ART of Test Case Diversity · An Analysis and Survey of the Development of Mutation Testing · The Paradox of Software Architecture and Design · The Essentials of Computer Organization and Architecture · IEEE Std. 1517-2010 Standard for Information Technology—System and Software Life Cycle Processes—Reuse Processes · IEEE Std. 12207-2008 (a.k.a. ISO/IEC 12207:2008) Standard for Systems and Software Engineering—Software Life Cycle Processes · CMMI for Development, Version 1.3 · Performance Results of CMMI-Based Process Improvement · “A Specifier’s Introduction to Formal Methods” · Accreditation Criteria and Procedures · Criteria for Accrediting Engineering Programs, 2012-2013 · Software Engineering Code of Ethics and Professional Practice (Version 5.2) · Other · None
Showing below up to 3 results in range #1 to #3.