• DocumentCode
    2302351
  • Title

    An object oriented method of analysis, specification and design for industrial information systems

  • Author

    Guetari, Rami ; Piard, Frederic

  • Author_Institution
    LLP/CESALP, Annecy, France
  • fYear
    1994
  • fDate
    6-9 Nov 1994
  • Firstpage
    541
  • Lastpage
    547
  • Abstract
    We present an object oriented method of analysis, specification and design of industrial information systems. This method ensures the continuity between different steps of the life cycle of an information system by the automation of the translation from one step to another. We introduce our object model which is an extension of the class model taking into account the temporal properties of an industrial information system
  • Keywords
    formal specification; information systems; object-oriented methods; object-oriented programming; class model; industrial information systems; life cycle; object model; object oriented method; specification; system design; systems analysis; temporal properties; Automation; Coherence; Computer languages; Contracts; Information analysis; Information systems; Intrusion detection; Knowledge representation; Object oriented methods; Object oriented modeling;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
  • Conference_Location
    New Orleans, LA
  • Print_ISBN
    0-8186-6785-0
  • Type

    conf

  • DOI
    10.1109/TAI.1994.346445
  • Filename
    346445