1099 search results - page 132 / 220 » A tool for assisting the understanding and formal developmen... |
INFSOF
2000
13 years 9 months ago
2000
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...
FIDJI
2003
Springer
14 years 2 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
Presentation
DICOM WORLD, is your main website for learning, speaking, and discussing DICOM. This includes but not limited to DICOM, PACS, Radiology, DICOM related software, DICOM related devic...
AADEBUG
1997
Springer
14 years 1 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
ICFEM
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...