2364 search results - page 78 / 473 » An Engine for Computing Well-Founded Models |
142
click to vote
EUC
2008
Springer
15 years 5 months ago
2008
Springer
The existing software engineering seldom considers software usability, and Human-Computer Interaction (HCI) techniques which can improve the software usability cannot guarantee de...
135
Voted
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
170
click to vote
CMOT
2011
14 years 7 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
247
click to vote
GECCO
2011
Springer
14 years 7 months ago
2011
Springer
Software projects often fail because stakeholder communication and involvement are inadequate. This paper proposes a novel method to understand project social networks and their c...
128
click to vote
UIST
2010
ACM
15 years 1 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...