Title :
Object and domain policies specification
Author :
Poo, Danny C C ; Lee, Shwu-Yi
Author_Institution :
Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Abstract :
An object-oriented rule-based software model has been proposed (Poo, 1993). In this paper, a development method for deriving the model is discussed. The technique and steps involved in the identification and specification of objects and domain policies, concepts and development approach of the method are discussed in this paper
Keywords :
formal specification; logic programming; object-oriented programming; development method; domain policies specification; object oriented programming; object policies specification; object-oriented rule-based software; software model; Application software; Buildings; Computer science; Electronic mail; Information systems; Jacobian matrices; Marketing and sales; Object oriented modeling; Software maintenance; Software reusability;
Conference_Titel :
Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific
Conference_Location :
Tokyo
Print_ISBN :
0-8186-6960-8
DOI :
10.1109/APSEC.1994.465266
