21379 search results - page 253 / 4276 » The profession of IT - Evolutionary system development |
147
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
160
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
164
click to vote
HCI
2009
15 years 4 months ago
2009
The conflicts in Afghanistan and Iraq and the more recent war in the Gaza Strip have emphasized the need for novel platforms which provide for greater situational awareness in the ...
193
click to vote
HCI
2011
14 years 10 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
209
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...