2493 search results - page 289 / 499 » Tool Support for Design by Contract |
IPPS
2007
IEEE
15 years 5 months ago
2007
IEEE
In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a framework for parallel ...
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
PVM
2007
Springer
15 years 4 months ago
2007
Springer
Complex code bases require continual testing to ensure that both new development and routine maintenance do not create unintended side effects. Automation of regression testing is...
EUROMICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
113
click to vote
VALUETOOLS
2006
ACM
15 years 4 months ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...