Related terms:
computer science education
abstract interpretation
static analysis
static code analysis
software quality
theoretical computer science
software development process
development efforts
norwegian computing center
programming language theory
agile methods
conference on automated
adaptive software development
conference on machine learning
analysis tool
agile manifesto
security flaws
source code analysis
next phase
msas
static code
computational problems
driven development
Wikipedia sources:
Formal methods
Computer science
Software development process
B-Method
List of tools for static code analysis
Agile software development
List of computer science conferences
Verification and Validation (software)
Life-critical system
Static program analysis
DO-178C
Ole-Johan Dahl
Cross Domain Solutions
Context for words:
formal
methods
|
|