2935 search results - page 419 / 587 » An Integrated Approach to High Integrity Software Verificati... |
150
click to vote
ICSM
2006
IEEE
16 years 6 days ago
2006
IEEE
The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most ...
178
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
184
click to vote
ICST
2009
IEEE
16 years 25 days ago
2009
IEEE
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
166
click to vote
BTW
2009
Springer
16 years 23 days ago
2009
Springer
: Database schemas are used to describe the logical design of a database. Diverse groups of users have different perspectives on the schema which leads to different local schemas. ...
165
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
In a world where intelligence can be arguably measured by an animal’s ability to use tools, are we marking ourselves for natural selection? Software development tools are steadi...