Inheritance from the standpoint of specification and modeling

[1]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[2]  Ralph-Johan Back,et al.  Serializability in Distributed Systems with Handshaking , 1988, ICALP.

[3]  Reino Kurki-Suonio,et al.  DisCo specification language: marriage of actions and objects , 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

[4]  Alan Borning,et al.  Classes versus Prototypes in Object-Oriented Languages , 1986, FJCC.

[5]  Graeme Smith.  Reasoning about Object-Z specifications , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[6]  Kevin Lano,et al.  Object-oriented specification case studies , 1994 .

[7]  Yen-Ping Shan,et al.  Panel - Is Multiple Inheritance Essential to OOP? , 1993, OOPSLA 1993.

[8]  Craig Chambers,et al.  Parents are shared parts of objects: Inheritance and encapsulation in SELF , 1991, LISP Symb. Comput..

[9]  T. Biggerstaff,et al.  Reusability Framework, Assessment, and Directions , 1987, IEEE Software.

[10]  Ralph-Johan Back,et al.  Distributed cooperation with action systems , 1988, TOPL.

[11]  G. A. Miller.  THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[12]  Ralph E. Johnson,et al.  Design Patterns: Abstraction and Reuse of Object-Oriented Design , 1993, ECOOP.

[13]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[14]  Ole Lehrmann Madsen.  Open issues in object‐oriented programming—A scandinavian perspective , 1995, Softw. Pract. Exp..

[15]  Henry Lieberman,et al.  Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems , 1986, OOPSLA.

[16]  Lynn Andrea Stein.  Delegation is inheritance , 1987, OOPSLA 1987.

[17]  William R. Cook,et al.  Mixin-based inheritance , 1990, OOPSLA/ECOOP '90.

[18]  Tharam S. Dillon,et al.  Object-Oriented Conceptual Modeling , 1993 .

[19]  Walter R. Smith.  Using a prototype-based language for user interface: the Newton project's experience , 1995, OOPSLA.

[20]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[21]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[22]  Alan Snyder.  Encapsulation and inheritance in object-oriented programming languages , 1986, OOPSLA 1986.

[23]  Gunter Saake,et al.  Aggregation in a Behaviour Oriented Object Model , 1992, ECOOP.

[24]  Francesco Parisi-Presicce,et al.  An algebraic theory of class specification , 1994, TSEM.

[25]  Svend Frølund,et al.  Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages , 1992, ECOOP.

[26]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[27]  Dominique Rieu,et al.  An Object Model for Engineering Design , 1992, ECOOP.

[28]  Wilf R. LaLonde.  Designing families of data types using exemplars , 1989, TOPL.

[29]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.

[30]  Kari Systä,et al.  Object-oriented specification of reactive systems , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[31]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[32]  Gary T. Leavens,et al.  Typechecking and Modules for Multimethods , 1995, ACM Trans. Program. Lang. Syst..

[33]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[34]  Ian M. Holland,et al.  Contracts: specifying behavioral compositions in object-oriented systems , 1990, OOPSLA/ECOOP '90.

[35]  Gunter Saake,et al.  TROLL: a language for object-oriented specification of information systems , 1996, TOIS.

[36]  William R. Cook,et al.  Inheritance is not subtyping , 1989, POPL '90.

[37]  Gul A. Agha,et al.  A Language Framework for Multi-Object Coordination , 1993, ECOOP.

[38]  Reino Kurki-Suonio.  Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors , 1996 .

[39]  Stanley B. Zdonik,et al.  Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like , 1988, ECOOP.

[40]  Randall B. Smith,et al.  Self: The power of simplicity , 1987, OOPSLA 1987.

[41]  Kari Systä.  A graphical tool for specification of reactive systems , 1991, RTS.

[42]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[43]  Jørgen Lindskov Knudsen.  Name Collision in Multiple Classification Hierarchies , 1988, ECOOP.

[44]  Antero Taivalsaari,et al.  On the notion of inheritance , 1996, CSUR.

[45]  Ralph-Johan Back,et al.  Decentralization of Process Nets with Centralized Control , 1983, PODC.

[46]  Kari Systä,et al.  Modeling of distributed real-time systems in DisCo , 1992, Fourth Euromicro workshop on Real-Time Systems.

[47]  C. P. Willis,et al.  Analysis of inheritance and multiple inheritance , 1996, Softw. Eng. J..

[48]  Pertti Kellomäki.  Verification of Reactive Systems Using DisCo and PVS , 1997, FME.

[49]  Kevin Lano,et al.  Reasoning and Refinement in Object-Oriented Specification Languages , 1992, ECOOP.

[50]  Peter Wegner,et al.  Concepts and paradigms of object-oriented programming , 1990, OOPS.

[51]  William R. Cook,et al.  A denotational semantics of inheritance , 1989 .

[52]  Peter Wegner.  Dimensions of object-based language design , 1987, OOPSLA 1987.

[53]  J. van Katwijk,et al.  VDM++, a formal specification language for object-oriented designs , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.