• DocumentCode
    2454184
  • Title

    A Logical Framework to Prove Inheritance Properties for Concurrent Objects

  • Author

    El-Baida, R.

  • Author_Institution
    Faculte des Sci. Economiques et de Gestion, Univ. Libanaise, Beirut
  • Volume
    2
  • fYear
    0
  • fDate
    0-0 0
  • Firstpage
    3468
  • Lastpage
    3473
  • Abstract
    After presenting an object-oriented programming model based on currently executing and communicating objects and a logical framework to formally design object systems and prove their properties, we study how reusability induces at the formal level inheritance of specification and properties
  • Keywords
    formal specification; inheritance; object-oriented programming; software reusability; communicating objects; concurrent objects; formal level inheritance; formal reasoning; inheritance property; object systems designing; object-oriented programming; Computer languages; Electrical capacitance tomography; Electronic mail; Logic programming; Object detection; Object oriented modeling; Object oriented programming; Safety; Software engineering; Software systems; Object oriented programming; formal reasoning; inheritance; reusability;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information and Communication Technologies, 2006. ICTTA '06. 2nd
  • Conference_Location
    Damascus
  • Print_ISBN
    0-7803-9521-2
  • Type

    conf

  • DOI
    10.1109/ICTTA.2006.1684975
  • Filename
    1684975
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2454184