1199 search results - page 185 / 240 » Software Verification and Software Engineering a Practitione... |
203
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
141
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
139
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
164
click to vote
SEDE
2010
15 years 3 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
179
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...