Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Principles of Program Design
Hi-index | 0.01 |
We propose a new modeling scheme named S-model (which is the abbreviation of “Semantic model”) based on a uniform object-relationship formalism. S-model is the mixture of notations in logic, set theory, and abstract syntax and covers wide range of information of file-processing and data-structure manipulating software. By procedural algorithms and problem-solving capability of S-model system, we can generate and reuse programs in various fields.