1401 search results - page 195 / 281 » Tool Integration for Reasoned Programming |
128
click to vote
IFIP
1993
Springer
15 years 5 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
LREC
2008
15 years 2 months ago
2008
Spock is an open source tool for the easy deployment of time-aligned corpora. It is fully web-based, and has very limited server-side requirements. It allows the end-user to searc...
104
click to vote
ISMB
1997
15 years 2 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
216
click to vote
CG
2000
Springer
15 years 1 months ago
2000
Springer
Introductory computer graphics courses are changing their focus and learning environments. Improvements in hardware and software technology coupled with changes in preparation, in...
KBSE
2010
IEEE
14 years 12 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...