2015 search results - page 106 / 403 » Hidden Software Capabilities |
SEKE
2001
Springer
14 years 1 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
ICCBR
1999
Springer
14 years 1 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
ADAEUROPE
1997
Springer
14 years 1 months ago
1997
Springer
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
APSEC
2001
IEEE
14 years 27 days ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
CCE
2008
13 years 8 months ago
2008
Transport and separation processes in ionic systems located in the porous medium are investigated. The software for the modeling of the combined electroosmotic, migration, diffusi...