7 search results - page 2 / 2 » Executable Translatable UML in Computing Education |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...