13137 search results - page 54 / 2628 » A Science of Software Design |
AUTONOMICS
2008
ACM
13 years 11 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
BCSHCI
2008
13 years 10 months ago
2008
In this article we present the research of SArt project at the Norwegian University of Science and Technology. In SArt we have the vision that software engineering can benefit fro...
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
How do new college graduates experience their first software development jobs? In what ways are they prepared by their educational experiences, and in what ways do they struggle t...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ITICSE
2006
ACM
14 years 2 months ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...