formal methods (computer science). neural networks (computer science) algorithms (computer science) expert systems (computer science) file organization (computer science) loop tiling (computer science) data recovery (computer science) programming (computer science) query languages (computer science) reliability (computer science)