Sciweavers

3705 search results - page 539 / 741
» Building Documentation Generators
Sort
View
FPCA
1993
15 years 8 months ago
Benchmarking Implementations of Lazy Functional Languages
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
Pieter H. Hartel, Koen Langendoen
ACSC
2004
IEEE
15 years 7 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
APSEC
2004
IEEE
15 years 7 months ago
MUDABlue: An Automatic Categorization System for Open Source Repositories
Open Source communities typically use a software repository to archive various software projects with their source code, mailing list discussions, documentation, bug reports, and ...
Shinji Kawaguchi, Pankaj K. Garg, Makoto Matsushit...
CSMR
2004
IEEE
15 years 7 months ago
Tool Support for Traceable Product Evolution
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
Patricia Lago, Eila Niemelä, Hans van Vliet
DASFAA
2004
IEEE
142views Database» more  DASFAA 2004»
15 years 7 months ago
Ontological and Pragmatic Knowledge Management for Web Service Composition
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...
Soon Ae Chun, Yugyung Lee, James Geller