2493 search results - page 205 / 499 » Tool Support for Design by Contract |
180
click to vote
CDVE
2007
Springer
16 years 22 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
156
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
164
click to vote
KIC
2000
15 years 8 months ago
2000
One of the major bottlenecks in conceptual engineering design is the pure amount of design information which the design engineer needs to take into consideration. Furthermore, the ...
186
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
186
click to vote
JUCS
2008
15 years 6 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...