2249 search results - page 3 / 450 » ILP-based engineering change |
IWPSE
2010
IEEE
13 years 5 months ago
2010
IEEE
What was I working on before the weekend? and What were the members of the my team working on during the last week? are common questions that are frequently asked by a developer. ...
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
ICST
2011
IEEE
12 years 11 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM