OBJ3


Also found in: Wikipedia.

OBJ3

(language)
A version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL.

E-mail: <obj3sys@crl.sri.com>, <obj3dist@csl.sri.com>.

["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
obj3 = [summation over (k[member of]K)]F[z.sub.k] (3)
Third, for truck cost, since every store needs one truck, the number of trucks must be greater than or equal to the number of stores, which will definitely increase the cost of obj3. Obviously the total costs of noncollaborative shipping are higher than that of collaborative shipping.
Obj3. Minimizing aggregate occurrences of the violations of the minimum staying time constraint.
Besides, Obj3 is sometimes considered as a constraint in literatures like [20].
Obj3 is to minimize the occurrences of these situations.
If we want to make a configuration plan for next several time periods, we should consider the quality of selected configurations in terms of the values in Obj1 to Obj3 and the similarities between configurations of consecutive time periods.
* evaluation of internal control in computer-based systems (OBJ3)
EVALi = f (OBJ1, OBJ2, OBJ3, OBJ4, Industry, #IAs, #CAs/#IAs, Central, %NEW) (1)
As shown in Panel A of Table 3, the most common objectives when evaluating computerized information systems are evaluation of internal control (OBJ3, 4.43), followed by evaluation of compliance with policies, statutes, and regulations (OBJ2, 4.06), and then evaluation of financial representations and computer records (OBJ4, 3.68).
An introduction to OBJ3. In Lecture Notes in Computer Science, Vol.
Sensitivity analysis on [m.sub.ij]s [Alpha] OBJAVG OBJMIN OBJ1 OBJ2 OBJ3 0.5 0.8439 0.8210 0.8883 0.8210 0.8251 0.6 0.8880 0.8701 0.9234 0.8701 0.8735 0.7 0.9188 0.9047 0.9466 0.9047 0.9081 0.8 0.9407 0.9297 0.9622 0.9297 0.9328 0.9 0.9563 0.9478 0.9730 0.9478 0.9507 1.0 0.9677 0.9611 0.9805 0.9611 0.9637 1.1 0.9759 0.9709 0.9859 0.9709 0.9731 1.2 0.9820 0.9782 0.9898 0.9782 0.9800 1.3 0.9869 0.9836 0.9925 0.9836 0.9851 1.4 0.9898 0.9876 0.9945 0.9876 0.9888 1.5 0.9923 0.9907 0.9960 0.9907 0.9916 References