Bounding component behavior via protocols
暂无分享,去创建一个
[1] Oscar Nierstrasz,et al. Towards a formal composition language , 1997 .
[2] Robert J. Allen. A formal approach to software architecture , 1997 .
[3] Michael Stal,et al. An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM , 1998, Softw. Concepts Tools.
[4] Oscar Nierstrasz,et al. Regular types for active objects , 1993, OOPSLA '93.
[5] Frantisek Plasil,et al. SOFA/DCUP: architecture for component trading and dynamic updating , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).
[6] Franz Puntigam. Types for Active Objects Based on Trace Semantics , 1997 .
[7] Valérie Issarny,et al. Characterizing coordination architectures according to their non-functional execution properties , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.
[8] T. Richner. Understanding Object-Oriented Programs with Declarative Event Analysis , 1998 .
[9] Jeannette M. Wing,et al. A behavioral notion of subtyping , 1994, TOPL.
[10] Tamar Richner. Describing Framework Architectures: more than Design Patterns , 1998 .
[11] Jeannette M. Wing,et al. Specification matching of software components , 1995, TSEM.
[12] Jan van den Bos,et al. A concurrent object-oriented language with protocols delegation and constraints , 2005 .
[13] Clemens A. Szyperski,et al. Component software - beyond object-oriented programming , 2002 .
[14] Petr Tuma,et al. Lessons learned from implementing the CORBA persistent object service , 1996, OOPSLA '96.
[15] Naranker Dulay,et al. Regis: a constructive development environment for distributed programs , 1994, Distributed Syst. Eng..
[16] Dieter Hogrefe,et al. SDL : formal object-oriented language for communicating systems , 1997 .
[17] Jan van den Bos,et al. PROCOL - A Parallel Object Language with Protocols , 1989, OOPSLA.
[18] Bran Selic. Protocols and ports: reusable inter-object behavior patterns , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).
[19] Roy H. Campbell,et al. The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.
[20] Akinori Yonezawa,et al. Type-theoretic foundations for concurrent object-oriented programing , 1994, OOPSLA 1994.
[21] Kim Mens,et al. Vrije Universiteit Brussel Faculteit Wetenschappen Reuse Contracts: Managing the Evolution of Reusable Assets Reuse Contracts: Managing the Evolution of Reusable Assets , 2022 .
[22] Gert Florijn. Object Protocols as Functional Parsers , 1995, ECOOP.
[23] Akinori Yonezawa,et al. Type-Theoretic Foundations for Concurrent Object-Oriented Programming , 1994, OOPSLA.
[24] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[25] Serge Demeyer,et al. Class Composition for Specifying Framework Design , 1999, Theory Pract. Object Syst..
[26] Daniel M. Yellin,et al. Interfaces, protocols, and the semi-automatic construction of software adaptors , 1994, OOPSLA '94.
[27] J. van den Bos,et al. PROCOL - A Parallel Object Language with Protocols , 1989, OOPSLA.
[28] Valérie Issarny,et al. Achieving middleware customization in a configuration-based development environment: experience with the Aster prototype , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).
[29] David Garlan,et al. A Formal Approach to Software Architectures , 1992, IFIP Congress.
[30] Frantisek Plasil,et al. Inheriting Synchronization Protocols via Sound Enrichment Rules , 1997, JMLC.
[31] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[32] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[33] Stéphane Ducasse,et al. Understanding Object-Oriented Programs through Declaratice Event Analysis , 1998, ECOOP Workshops.
[34] Chris Dollin,et al. Object-oriented development: the fusion method , 1994 .
[35] Oscar Nierstrasz,et al. Requirements for a Composition Language , 1994, ECOOP Workshop.
[36] Richard N. Taylor,et al. A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..
[37] Mary Shaw,et al. Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..
[38] Mark Woodman,et al. Introduction to VDM , 1993 .
[39] Franz Puntigam,et al. Coordination Requirements Expressed in Types for Active Objects , 1997, ECOOP.
[40] Stéphane Ducasse,et al. Executable connectors: towards reusable design elements , 1997, ESEC '97/FSE-5.
[41] Manfred Broy,et al. What characterizes a (software) component? , 1998, Softw. Concepts Tools.