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, ...
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...
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...
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...
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) ...