2493 search results - page 234 / 499 » Tool Support for Design by Contract |
206
click to vote
WSC
2008
15 years 9 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
178
click to vote
CE
2007
15 years 6 months ago
2007
To build a web-based virtual learning environment depends on information technologies, concerns technology supporting learning methods and theories. A web-based virtual online cla...
139
click to vote
ISCAS
2007
IEEE
16 years 27 days ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
146
click to vote
DSVIS
2005
Springer
16 years 4 days ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
142
click to vote
GI
2005
Springer
16 years 4 days ago
2005
Springer
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...