Knowledge-based approach for parallel software verification

The development of parallel-processing software products with the assistance of an expert system is described. This software design method aims at producing quality software code starting from a formal specification, using artificial intelligence techniques. The author describes available FDTs (formal description techniques) and expert systems, pointing out their characteristics and relevance for building an environment for supporting parallel software design. The design methodology used by the author for such a system is presented, and the tool architecture is sketched.<
>