Issue No.04 - July (1983 vol.9)
I.T. Hawryszkiewycz , School of Information Sciences, Canberra College of Advanced Education
A system design method where the computer system is adapted to user semantics is described. In the method, user semantics are defined as abstract objects using special languages. Both user data semantics and user operations are defined. A translator converts the abstract definitions into internal machine storage representation and machine instructions. Users can then include the defined operations in user programs. Execution of the user operations transforms the internal state consistently with the definition of the operations.
software design, Abstract data types, adaptive systems, correctness, database, semantics
I.T. Hawryszkiewycz, "A Semantic Design Method", IEEE Transactions on Software Engineering, vol.9, no. 4, pp. 373-384, July 1983, doi:10.1109/TSE.1983.237025