Modeling of data-processing software for generating and reusing their programs
N. Mano · 2003
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.>