Knowledge-based approach for parallel software verification

Author

Carchiolo, Vincenza ; Faro, Alberto

Author_Institution

Istituto di Inf. e Telecommun., Catania Univ., Italy

fYear

1990

fDate

8-10 May 1990

Firstpage

322

Lastpage

328

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPEUR.1990.113641

Filename

113641