16725 search results - page 49 / 3345 » Engineering Software Correctness |
127
click to vote
FMICS
2010
Springer
15 years 3 hour ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
ITICSE
2000
ACM
15 years 4 months ago
2000
ACM
This paper examines the role of Human Computer Interaction in the context of the Computer Science and Software Engineering curricula. We suggest there needs to be much more integr...
COMPUTER
2010
14 years 12 months ago
2010
CORR
2011
Springer
14 years 6 months ago
2011
Springer
ICSE
1999
IEEE-ACM
1999
IEEE-ACM
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
15 years 4 months ago
Source code browsing is an important part of program comprehension. Browsers expose semantic and syntactic relationships (such as between object references and definitions) in GU...