Equipping software with contracts, especially in the case of library components, opens up a whole range of applications. I will describe two of them, part of current work in the chair of software engineering at ETH. The first is automatic, “push-button” testing of contract-equipped components. The second is mathematical proof that such components satisfy their contracts. In both cases the effor...

the developmental, individual-difference, relationship-based model (dir) aims to describe and explain human psychological development in an integrated way. it has been believed that cognitive, linguistic, affective, personality abilities emerge within stages of “functional emotional development”. the human development influenced by a dynamic interaction among biopsyosocial variables. as a child...

Agricultural extension, as an informal educational system, is one of agricultural development tools that lean on human capitals. Inefficiency of public bureaucracy on the one hand, and managerial problems on the other hand, as well as neglecting real needs of beneficiaries in planning, have determined responsible to transfer administrative tasks to the private sector and reduce government''s te...

Nowadays, huge tendency to fashion and consumerism could be assumed as the origin of identitycrisis among women and in their houses. This phenomenon is like a veil between man and the fact of his human being. Given that the physical properties of man-made environments (house) are influenced by human properties and, in return, have an important role in giving identity to their audience, identifi...

Food insecurity, as a multi-faceted problem with far-reaching health and societal consequences, is prevalent among disadvantaged households. Household food insecurity has made the notion operationally useful in the design, implementation, and evaluation of programs and policies. This study was to investigate the socio-demographic associates contributing to severity of food insecurity among vuln...