879 search results - page 159 / 176 » Software Reuse in an Industrial Setting: A Case Study |
SCP
2010
13 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
RECOMB
2010
Springer
14 years 2 months ago
2010
Springer
Clustering methods are a useful and common first step in gene expression studies, but the results may be hard to interpret. We bring in explicitly an indicator of which genes tie ...
CEC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
TOOLS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...