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.