2835 search results - page 167 / 567 » Imperfect Requirements in Software Development |
ISPW
2008
IEEE
14 years 4 months ago
2008
IEEE
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...
METRICS
2003
IEEE
14 years 3 months ago
2003
IEEE
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
FMICS
2010
Springer
13 years 10 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
APSEC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
WORDS
2003
IEEE
14 years 3 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...