3819 search results - page 278 / 764 » An Outsourcing Model of Software Development |
181
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
161
click to vote
AOSD
2006
ACM
16 years 17 days ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
159
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
206
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
169
click to vote
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...