Good components need precise contracts. In the practice of Design by Contract, applications and libraries typically express, in their postconditions and class invariants, only a subset of the relevant properties. We present: – An approach to making these contract elements complete without extending the assertion language, by relying on “model classes” directly deduced from mathematical concepts...

This chapter presents a connectionist or artificial neural network approach to decision making. An essential idea of this approach is that decisions are based on the accumulation of the affective evaluations produced by each action until a threshold criterion is reached. This type of sequential sampling process forms the basis for decision making in a wide variety of other cognitive tasks such ...

This article presents a framework for the development of hypermedia systems, based on systematic modelling approaches. These introduce models at three abstraction levels (conceptual, navigation and presentation). An objectoriented approach, UWE, proposing UML extensions was adopted. The work described in this paper reports a solution for an integrated and consistent translation of those models ...

introduction: one of the types of hospital management information systems is decision support information system (dsis). this system uses decision-making models and databases for preparing specific information to support their semi-structured or unstructured decisions. the present study aimed to design a decision dsis model for board of trustees of ayatollah kashani hospital, shahrekord, iran. ...

the aim of the current review wasto study the existing knowledge about decision-making and to identify and describe validated training tools.a comprehensive literature review was conducted by using the following keywords: decision-making, emergencies, disasters, crisis management, training, exercises, simulation, validated, real-time, command and control, communication, collaboration, and multi...

this paper proposes a method for ranking decision making units (dmus) using some of the multiple criteria decision making / multiple attribute decision making          (mcdm /madm) techniques, namely, interval analytic hierarchy process (iahp)          and the technique for order preference by similarity to an ideal solution (topsis).          since the efficiency score of unity is assigned to ...

Data Envelopment Analysis (DEA) is a mathematical programming-based approach for evaluates the relative efficiency of a set of DMUs (Decision Making Units). The relative efficiency of a DMU is the result of comparing the inputs and outputs of the DMU and those of other DMUs in the PPS (Production Possibility Set). Also, in Data Envelopment Analysis various models have been developed in order to...