308 search results - page 44 / 62 » Writing as a Tool for Learning Software Engineering |
87
Voted
CHI
1993
ACM
15 years 4 months ago
1993
ACM
A software tool called EXPLAINER has been developed for helping programmers perform new tasks by exploring previously worked-out examples. EXPLAINER is based on cognitive principl...
PLDI
2005
ACM
15 years 6 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
114
click to vote
PEPM
2011
ACM
14 years 3 months ago
2011
ACM
Writing deterministic programs is often difficult for problems whose optimal solutions depend on unpredictable properties of the programs’ inputs. Difficulty is also encounter...
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
105
Voted
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...