1401 search results - page 47 / 281 » Tool Integration for Reasoned Programming |
COSIT
2003
Springer
14 years 2 months ago
2003
Springer
Because diagrams are often created incrementally, a qualitative diagrammatic reasoning system must dynamically manage a potentially large set of spatial interpretations. This pape...
FLOPS
2004
Springer
14 years 2 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
ISVC
2005
Springer
14 years 2 months ago
2005
Springer
This note describes a web-based tool for storm analysis using multiple data sets developed for use in research of thunderstorms and forecasting applications. The tool was developed...
TACAS
1999
Springer
14 years 1 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
ENVSOFT
2008
13 years 8 months ago
2008
ROMSTOOLS, a collection of global data sets and a series of Matlab programs collected in an integrated toolbox, generates the grid, surface forcing, initial condition, open bounda...