A. Borgida. On the definition of specialization hierarchies for procedures. In IJCAI'81 -- Proceedings of the 7th International Joint Conference on Artificial Intelligence, pages 254--256, 1981.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....procedures, an apparent specification gap concerns the unsettled treatment of method descriptions, i.e. the procedural element of OOP, from a classification viewpoint. There have already been some debates on how classification of methods might be achieved, though they were not conclusive. Borgida [3], e.g. states conditions according to which a procedure should be considered a subordinate to another one. He aims at a hierarchy of procedures instead of a hierarchy of objects that contain procedures, as we do. Also, the first of the criteria he proposes is contradictory to our approach, as it ....

A. Borgida. On the definition of specialization hierarchies for procedures. In IJCAI'81 -- Proceedings of the 7th International Joint Conference on Artificial Intelligence, pages 254--256, 1981.

....procedures, an apparent specification gap concerns the unsettled treatment of method descriptions, i.e. the procedural element of OOP, from a classification viewpoint. There have already been some debates on how classification of methods might be achieved, though they were not conclusive. Borgida [4], e.g. states conditions according to which a procedure should be considered a subordinate to another one. The first of the criteria he proposes is contradictory to our approach, as it requires the more general procedure to be applicable in all situations where the more special one is applicable, ....

Alexander Borgida. On the definition of specialization hierarchies for procedures. In IJCAI '81 -- Proc. of the 7th Int'l. Joint Conferenceon Artificial Intelligence, pages 254--256, 1981.

....parametres:traffic results: capacity Fig. 2. The two hierarchies Fig. 3. Aggregation of A classes AC class component class A class arguments results primitive methods algorithm body C class . the subclass has the same arguments and compute the same results using different techniques [14] [2]; the subclass add some restrictions on the arguments results and uses then a more specialized technique [12] 16] The aggregation of Algorithmclasses is a representation of the topdown structured design by objectoriented techniques: decomposition in sub procedures is represented by ....

A. Borgida. "On the Definition of Specialization Hierarchies for Procedures". In Proceedings of the 7th IJCAI, pp.254-256, Vancouver, Canada, 1981.

No context found.

A. Borgida, "On the definition of specialization hierarchies for procedures", Proc. IJCAI'81, Vancouver, BC, August 1981, pp.254--256.

....complete redevelopment. ffl Polymorphism: procedures developed for objects of one type, can be applied to all objects whose type is a subtype of the original one. ffl Verification: in some situations, it is possible to re use proofs of correctness so that they are inherited to subclases (see [3]) It is widely agreed that during specialization new attributes may be added to a class, as well as new methods modifying them. There are however a number of extensions of this idea which are potentially very valuable: 1. In many object oriented languages, such as Eiffel and Taxis, it is ....

Borgida, A. "On the definition of specialization hierarchies for procedures", Proceedings of the 7th Int. Joint Conf. on Artificial Intelligence, Vancouver, B.C., August 1981, pp.254-256.

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