718 search results - page 51 / 144 » From decision theory to decision aiding methodology |
RISE
2005
Springer
15 years 3 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
EXPERT
2006
14 years 9 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
IE
2007
14 years 11 months ago
2007
This paper presents innovative research into the use of videogame environments within architectural design studios. In this context, 3D videogame environments encourage new unders...