VDict - Definition of formal system

search result for formal system in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

FORMAL safety-critical system Nuprl acceptance testing gripenet term rewriting system ALEPH software reliability operational test and evaluation Operating System/360 file system system management algebraic structure Tape Operating System knowledge base Rapidly Extensible Language, English system software cutover real operating system OS formal argument B-Method FSL Formal Description Technique IFS Language Of Temporal Ordering Specification BOS Estelle Virtual Machine alpha conversion formal methods System/360 System V System R An Evolutionary System for On-line Programming system call tight loop Disk Operating System embedded system automaton fsck USL AS/400 hierarchical file system TOS system administration CTOS reverse engineering crash Object management system system UnixWare system testing network operating system fatal exception mount A/UX E-carrier system microkernel wheel bit Initial Program Load lclint Distributed Data Management second-system effect desktop manager Job Entry System fatal error root microfortnight SL New Storage System De Bruijn notation Sue Knowledge Management System Macintosh Operating System NSS COLINGO Distributed Network Operating System exec Automatic Mathematical TRANslation

First < Previous 1 2 3 4 5 6 7 Next > Last