359 search results - page 23 / 72 » Refactoring support for the C development tooling |
CASCON
2007
13 years 9 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
WORDS
2003
IEEE
14 years 1 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
DAS
2008
Springer
13 years 9 months ago
2008
Springer
This article describes a sketch-based framework for semi-automatic annotation of historical document collections. It is motivated by the fact that fully automatic methods, while h...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes the development of tools to support better scheduling and sequencing of barge tows on a congested portion of the Upper Mississippi River. Our study section co...