2935 search results - page 232 / 587 » An Integrated Approach to High Integrity Software Verificati... |
187
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
161
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different p...
145
click to vote
ISICT
2003
15 years 8 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
175
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
212
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...