Monitoring-Oriented Programming (MOP) is a formal framework for software development and analysis. It aims at reducing the gap between formal specification and implementation via runtime monitoring. In MOP, the developer specifies desired properties using definable specification formalisms, along with code to execute when properties are violated or validated, which can be used not only to repor...

This paper aims to find efficient solutions a multi-objective optimization problem (MP) with convex polynomial data. To this end, hybrid method, which allows us transform into scalar \(({\mathrm{P}}_{z})\) and does not destroy the properties of convexity, is considered. First, we show an existence result for under some mild assumption. Then, \((P_{z})\), establish two kinds representations non-...

  Bi-level programming, a tool for modeling decentralized decisions, consists of the objective(s) of the leader at its first level and that is of the follower at the second level. Three level programming results when second level is itself a bi-level programming. By extending this idea it is possible to define multi-level programs with any number of levels. Supply chain planning problems are co...

this paper will investigate the optimum portfolio for an investor, taking into account 5 criteria. the mean variance model of portfolio optimization that was introduced by markowitz includes two objective functions; these two criteria, risk and return do not encompass all of the information about investment; information like annual dividends, s&p star ranking and return in later years which...

strategic programming, complex supply chain, lean, production programming, suppliers selection,   electre this paper represents a model of strategic programming with limited resources in a complex supply chain. the main goal of the proposed model is to increase efficiency and effectiveness of the supply chain with respect to income increases and cost decreases. using special objective functions...