1401 search results - page 48 / 281 » Tool Integration for Reasoned Programming |
IDA
1999
Springer
14 years 1 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
IPL
2008
13 years 8 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
PROFES
2004
Springer
14 years 2 months ago
2004
Springer
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...