Sciweavers

1759 search results - page 156 / 352
» Overview of Generative Software Development
Sort
View
ASM
2003
ASM
15 years 8 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
ICCS
2005
Springer
15 years 8 months ago
Resource-Aware Parallel Adaptive Computation for Clusters
Abstract. Smaller institutions can now maintain local cluster computing environments to support research and teaching in high-performance scientific computation. Researchers can d...
James D. Teresco, Laura Effinger-Dean, Arjun Sharm...
WOSP
2005
ACM
15 years 8 months ago
Modeling continuous changes of the user's dynamic behavior in the WWW
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...
Raúl Peña-Ortiz, Julio Sahuquillo, A...
ICSE
2009
IEEE-ACM
15 years 7 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...
GPCE
2005
Springer
15 years 8 months ago
Language Requirements for Large-Scale Generic Libraries
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
Jeremy G. Siek, Andrew Lumsdaine