A process to derive incrementally a formal specification from an informal specification written in natural-language is presented. This process consists of two major activities, ‘(design” and… (More)

Information is now being gathered to set up a network structure along with remarkable progress in the implementat ion of software and services. This trend has brought about the necessity for… (More)

Model theoretic semantics of database systems is studied. As Rechard Montague has done in his work, 5 we translate statements of DDL and DML into intensional logic and the latter is interpreted with… (More)

Butler [6] gave recurrence relations for computing the number N<inf>r</inf>(n) of r-valued (r ≥ 2) switching functions of n variables realizable by a cascaded network of n - 1 r-valued cells.… (More)