467 search results - page 43 / 94 » Program fields for continuous software |
100
click to vote
SOFTVIS
2010
ACM
14 years 10 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
IPCC
1998
14 years 11 months ago
1998
: Internet-based distance learning programs make it possible for technical communicators located anywhere in the world to participate in graduate courses in their field. But are th...
170
click to vote
ACMSE
2011
ACM
13 years 9 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...