J. Mylopoulos and M. Brodie, editors. Readings in Artificial Intelligence & Databases. Morgan Kaufmann Publ. San Mateo, 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Relationships between Dynamic Objects - Jungclaus, Hartmann, Saake (1993) (2 citations) (Correct)
.... conceptual modeling in our view should be integrating the advan2 tages of work on algebraic specification of data types [5, 6] and databases [7, 8] process specification [9, 10] the specification of reactive systems [11] conceptual modeling [12, 13, 14, 15, 16, 17] and knowledge representation [18, 19, 20]. Our approach bases on the one presented in [21] further introductions into more recent developments are [22, 23] In a nutshell, object oriented conceptual modeling approaches organize system specifications as a collection of discrete object descriptions that incorporate both the description of ....
J. Mylopoulos and M. Brodie, editors. Readings in Artificial Intelligence & Databases. Morgan Kaufmann Publ. San Mateo, 1989.
Local Specification of Distributed Families of Sequential.. - Ehrich, Sernadas (1995) (7 citations) (Correct)
.... we integrate work on algebraic specification of data types [EGL89, EM85, EM90] and databases [Eh86, EDG88] process specification [Ho85, Mi89] the specification of reactive systems [Se80, MP89, Sa91a] conceptual modeling [Ch76, Bo85, EGH 92, SF91, SJH93] and knowledge representation [ST89, MB89] Approaches to logic and algebraic foundations of object orientation and concurrency have given essential input to the work reported here. The results in [FSMS91, FM91, FM92, SSC92] have been influential. FOOPS [GM87, GW90] has provided insights in the algebraic nature of objects. Algebraic ....
J. Mylopoulos and M. Brodie, (eds.). Readings in Artificial Intelligence & Databases. Morgan Kaufmann Publ. San Mateo, 1989
Revised Version of the Conceptual Modeling and Design Language .. - Hartmann, al. (1994) (1 citation) (Correct)
.... on algebraic specification of data types [EM85, EGL89] and databases [Ehr86, EDG88] process specification [Hoa85, Mil89] the specification of reactive systems [Pnu77, Ser80, MP92, Saa91] conceptual modeling [Che76, MBW80, BMS84, Bor85, HG88, EGH 92] and knowledge representation [BM86, ST89, MB89] The concept of object used as a basis for Troll has been developed in [SSE87, SFSE89, SE91] accompanied by work on a categorical semantics [ES90, EGS90, ES91] More recently steps towards a logical semantics [Jun93] based on OSL [SSC92] and towards refinement of specifications have been done ....
J. Mylopoulos and M. Brodie, editors. Readings in Artificial Intelligence & Databases. Morgan Kaufmann Publ. San Mateo, 1989.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC