900 search results - page 81 / 180 » Object-Oriented Software Testing: Some Research and Developm... |
138
click to vote
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
113
click to vote
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
159
click to vote
ITSSA
2006
15 years 1 months ago
2006
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
122
click to vote
INFSOF
2007
15 years 1 months ago
2007
This paper presents a framework that draws on Structuration theory and dialectical hermeneutics to explicate the dynamics of software process improvement (SPI) in a packaged softw...
124
click to vote
SIGUCCS
2005
ACM
15 years 7 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...