Searched for:
(1 - 7 of 7)
document
Romano, D. (author), Pinzger, M. (author)
Version: Accepted for publication in the Proceedings of the International Conference on Software Maintenance (ICSM), 2013, IEEE Computer Society. Doi: http://dx.doi.org/10.1109/ICSM.2013.49 Q&A sites have become popular to share and look for valuable knowledge. Users can easily and quickly access high quality answers to common questions. The...
report 2013
document
Vermolen, S.D. (author)
Software plays a critical role in our daily life. Vast amounts of money are spent on more and more complex systems. All software, regardless if it controls a plane or the game on your phone is never finished. Software changes when it contains bugs or when new functionality is added. This process of change is called software eovlution. Despite...
doctoral thesis 2012
document
Gonzalez Sanchez, A. (author)
Software testing and diagnosis (debugging) is a time-consuming but rather important task for improving software reliability. It is therefore necessary to devise an appropriate verification strategy that not only achieves this reliability goal, but also does this at a minimum cost. Since exhaustive testing is hardly ever possible, testing...
doctoral thesis 2011
document
Boogerd, C.J. (author)
Automatic Code Inspection tools help developers in early detection of defects in software. A well-known drawback of many automatic inspection approaches is that they yield too many warnings and require a clearer focus. In this thesis, we provide such focus by proposing two methods to prioritize inspection results, based on the execution...
doctoral thesis 2010
document
Marin, A.M. (author)
Evolution of software systems accounts for the largest part of their lifecycle and costs. Software engineers therefore, more often than developing new systems, work on complex, existing ones that they have to understand in order to modify them. Understanding such systems requires insight into the various concerns the systems implement, many of...
doctoral thesis 2008
document
Graaf, B.S. (author)
Software evolves continuously. As a consequence, software systems tend to become increasingly complex and, as such, more difficult to change. A software system's complexity is for a large part determined by its structure, or architecture. In this thesis we investigate how to reduce the risks and costs associated with the evolution of software...
doctoral thesis 2007
document
Nami, M.R. (author), Sharifi, M. (author), Malekpour, A. (author)
Recently, several flavors of Formal Methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging. Domain Engineering (DE) has been introduced as one of outstanding ideas in software development. It serves form al methods that provide a rigorous, mathematical based framework (domain model) for...
conference paper 2007
Searched for:
(1 - 7 of 7)