the results of performance evaluation in the creation of employment during the recent years indicates that employment goals in the third development plan were not achieved while goals in the area of production and investment growth rates were fulfilled accordingly. the analysis of labor demand models in the third development plan is conducted in order to identify their weaknesses in predicting ...

Recently, the increasing complexity of IT systems requires the early verification and validation of the system design in order to avoid the costly redesign. Furthermore, the efficiency of system operation can be improved by solving system optimization problems (like resource allocation and scheduling problems). Such combined optimization and validation, verification problems can be typically ex...