5085 search results - page 23 / 1017 » Can We Teach Empirical Software Engineering |
164
click to vote
TFM
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
185
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
155
click to vote
ESEM
2008
ACM
15 years 7 months ago
2008
ACM
Systematic reviews are only as good as the evidence they are based on. It is important, therefore, that users of systematic reviews know how much confidence they can place in the ...
168
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
The style in which a robot moves, expressed through its gait or locomotion, can convey effective messages to people. For example, a robot could move aggressively in reaction to a ...
152
click to vote
INDIASE
2009
ACM
16 years 15 days ago
2009
ACM
A software architect engages in solving Software Engineering (SE) problems throughout his career. Thus inculcating problem solving skills should be one of the learning objectives ...