1199 search results - page 66 / 240 » Software Verification and Software Engineering a Practitione... |
140
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
Introductory computer science students rely on a trial and error approach to fixing errors and debugging for too long. Moving to a reflection in action strategy can help students ...
115
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
139
click to vote
CSMR
2002
IEEE
15 years 9 months ago
2002
IEEE
Design patterns have been widely adopted and well investigated by the software engineering community over the past decade. However, their primary use is still associated with forw...
164
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
141
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environm...