• DocumentCode
    3290633
  • Title

    Modeling of data-processing software for generating and reusing their programs

  • Author

    Mano, Nobuoki

  • Author_Institution
    ElectroTechnical Lab., Ibaraki, Japan
  • fYear
    1988
  • fDate
    11-15 Apr 1988
  • Firstpage
    231
  • Lastpage
    240
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 1988., Proceedings of the 10th International Conference on
  • Print_ISBN
    0-89791-258-6
  • Type

    conf

  • DOI
    10.1109/ICSE.1988.93703
  • Filename
    93703