1238 search results - page 131 / 248 » Software Mass Customization |
131
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
159
click to vote
ECTEL
2008
Springer
15 years 5 months ago
2008
Springer
Modeling the cognitive processes of learners is fundamental to build educational software that are autonomous and that can provide highly tailored assistance during learning [3]. F...
146
click to vote
SPLC
2010
15 years 4 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
131
click to vote
CSSE
2008
IEEE
15 years 3 months ago
2008
IEEE
Along with the variation of the market circumstance the automotive industry has to be confronted with various challenges. In order to satisfy the customers' requirement of Imp...
116
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...