3819 search results - page 501 / 764 » An Outsourcing Model of Software Development |
193
click to vote
FMOODS
2003
15 years 8 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
209
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
183
click to vote
CBSE
2009
Springer
16 years 1 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
195
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
188
click to vote
FM
2005
Springer
16 years 23 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...