A Theory of Interfaces and Modules I---Composition Theorem. IEEE Tr on Software Engineering, 20, 1, Jan 1994, pp.55-71. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Abstractions for Software Architecture and Tools to.. - Shaw, DeLine, Klein, .. (1995) (235 citations) (Correct)
....to Support Them 13 Each of these definitions can be understood solely in terms of its specification, and the properties of a system should be derivable from the specification of its components and connectors. This is closely related to Lam and Shankar s properties separability and composability [Lam Shankar 94] Each provides a template that is instantiated when it is used. Information about distinctions among components, connectors, players, and roles is used for an analog of type checking. The definition of language semantics is organized around this structure. Section 3.1.1 describes components, ....
A Theory of Interfaces and Modules I---Composition Theorem. IEEE Tr on Software Engineering, 20, 1, Jan 1994, pp.55-71.
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