7139 search results - page 141 / 1428 » Language Engineering in Practice |
135
click to vote
UIST
2005
ACM
15 years 12 months ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...
170
click to vote
AADEBUG
2005
Springer
15 years 12 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
147
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
170
click to vote
CSIE
2009
IEEE
15 years 7 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
163
click to vote
CSEE
2003
Springer
15 years 11 months ago
2003
Springer
The typical software engineering course consists of lectures in which concepts and theories are conveyed, along with a small “toy” software engineering project which attempts ...