2274 search results - page 342 / 455 » Qualitative Modeling for Requirements Engineering |
164
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
162
click to vote
AIPS
2007
15 years 8 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
157
click to vote
WSC
1997
15 years 7 months ago
1997
Today's business climate for manufacturers requires low inventory, quick response systems that turn out a wide variety of products. Since many companies are reaching physical...
170
click to vote
CCE
2004
15 years 6 months ago
2004
A large number of problems in production planning and scheduling, location, transportation, finance, and engineering design require that decisions be made in the presence of uncer...
148
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Model-driven engineering is a powerful approach to build large-scale applications. However, an application’s metamodel often remains static after the initial development phase an...