2493 search results - page 332 / 499 » Tool Support for Design by Contract |
67
Voted
INFSOF
2006
14 years 10 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
MP
2008
14 years 10 months ago
2008
In this paper I describe a new and exciting application of optimization technology. The problem is to design a space telescope capable of imaging Earth-like planets around nearby s...
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
AISS
2010
14 years 7 months ago
2010
In recent years, e-government interoperability frameworks (e-GIFs) and enterprise architectures (EAs) have been extensively developed as mechanism tools for achieving the interope...
94
Voted
VISUALIZATION
1992
IEEE
15 years 2 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...