Title :
Modeling of data-processing software for generating and reusing their programs
Author_Institution :
ElectroTechnical Lab., Ibaraki, Japan
Abstract :
A modeling scheme named S-model (semantic model) is proposed, which is based on a uniform object-relationship formalism. S-model combines notions from logic, set theory, and abstract syntax and covers a wide range of information on file-processing and data-structure-manipulating software. With the procedural algorithms and problem-solving capability of the S-model system, it is possible to generate and reuse programs in various fields
Keywords :
data structures; software engineering; S-model; abstract syntax; data-processing software; data-structure-manipulating software; file-processing; logic; object-relationship formalism; semantic model; set theory; software engineering; software reuse; Application software; Artificial intelligence; Automatic programming; Data structures; Inference algorithms; Laboratories; Logic programming; Problem-solving; Set theory; Software design;
Conference_Titel :
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN :
0-89791-258-6
DOI :
10.1109/ICSE.1988.93703
