Title :
A Logical Framework to Prove Inheritance Properties for Concurrent Objects
Author_Institution :
Faculte des Sci. Economiques et de Gestion, Univ. Libanaise, Beirut
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;
Conference_Titel :
Information and Communication Technologies, 2006. ICTTA '06. 2nd
Conference_Location :
Damascus
Print_ISBN :
0-7803-9521-2
DOI :
10.1109/ICTTA.2006.1684975
