Sciweavers

900 search results - page 87 / 180
» Object-Oriented Software Testing: Some Research and Developm...
Sort
View
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 7 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
ECSA
2010
Springer
15 years 1 months ago
Software ecosystems vs. natural ecosystems: learning from the ingenious mind of nature
The use of the term ecosystem in the context of extensible software platforms and third-party developers or user communities has made us ponder about the similarities between soft...
Deepak Dhungana, Iris Groher, Elisabeth Schluderma...
SOFSEM
2010
Springer
15 years 10 months ago
Lessons in Software Evolution Learned by Listening to Smalltalk
The biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems t...
Oscar Nierstrasz, Tudor Gîrba
ITICSE
2003
ACM
15 years 6 months ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
Timothy Huang, Frank Swenton
CORR
2006
Springer
137views Education» more  CORR 2006»
15 years 1 months ago
Users' participation to the design process in an Open Source Software online community
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
Flore Barcellini, Françoise Détienne...