2062 search results - page 177 / 413 » A Concern-Oriented Requirements Engineering Model |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
WSC
2007
13 years 11 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
DEXAW
2008
IEEE
14 years 3 months ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
CAISE
1993
Springer
14 years 1 months ago
1993
Springer
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
WSC
2007
13 years 11 months ago
2007
In this paper, we suggest a framework that allows for the simulation-based performance assessment of complex manufacturing systems with Automated Material Handling Systems (AMHS)....