2493 search results - page 12 / 499 » Tool Support for Design by Contract |
JUCS
2010
13 years 5 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
FPL
2007
Springer
14 years 1 months ago
2007
Springer
This paper introduces a software supported methodology for exploring/evaluating 3D FPGA architectures. Two new CAD tools are developed: (i) the 3DPRO for placement and routing on ...
CERA
2005
13 years 7 months ago
2005
: In this article, an argument for validation of design
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
ICEIS
2009
IEEE
14 years 2 months ago
2009
IEEE