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].
References in periodicals archive ?
EVALi = f (OBJ1, OBJ2, OBJ3, OBJ4, Industry, #IAs, #CAs/#IAs, Central, %NEW) (1)
Ensuring that only valid changes are made is an essential part of internal control, and this is reflected by the positive relation between EVAL3 and OBJ3 (internal control).
Asset safeguarding is fundamental to internal control, and testing in the area of IT asset safeguarding is positively associated with OBJ3 (internal control).
First, OBJ3 (evaluation of internal control in computer-based systems) appears to have the greatest association with the areas of testing identified by IFAC.