Title :
Knowledge-based approach for parallel software verification
Author :
Carchiolo, Vincenza ; Faro, Alberto
Author_Institution :
Istituto di Inf. e Telecommun., Catania Univ., Italy
Abstract :
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
Keywords :
expert systems; parallel programming; program verification; artificial intelligence; expert system; formal description techniques; formal specification; knowledge based approach; parallel software verification; quality software code; software design method; tool architecture; Computer languages; Concurrent computing; Costs; Expert systems; Knowledge based systems; Lips; Parallel architectures; Software design; Software quality; Telecommunication computing;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113641
