David Garlan, Dewayne E. Perry (eds.), "Special Issue on Software Architecture", IEEE Transactions on Software Engineering, Volume SE-21, No. 4 (April 1995) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Agent-Based Information Infrastructure - Landauer, Bellman (1999) (1 citation) (Correct)
....write some of the (perhaps less time constrained or more experimental) computational resources. We think that both kinds of programming are necessary for building reliable systems because they allow us to make explicit the interconnection between architectural models and the component models [5] [24] [73] 74] 75] The wrex notation extends the application of wrapping all the way down to the data access and expression evaluation level of detail. In this notation, a program does not issue commands, impose constraints, assert facts, invoke functions, or even send messages; it poses problems. ....
David Garlan, Dewayne E. Perry (eds.), "Special Issue on Software Architecture", IEEE Transactions on Software Engineering, Volume SE-21, No. 4 (April 1995)
Connectors for Mobile Programs - Wermelinger, Fiadeiro (1998) (4 citations) (Correct)
....concept model on which to analyse and validate the overall system structure in various phases of the software life cycle. In consequence, the study of Software Architecture has emerged, in recent years, as an autonomous discipline which requires its own concepts, formalisms, methods, and tools [1], 2] The concept of connector has been put forward to express complex relationships between system components, thus facilitating the separation of coordination from computation. This is especially important in mobile computing due to the transient nature of the interconnections that may exist ....
David Garlan and Dewayne Perry (eds), "Special issue on software architecture," IEEE Transactions on Software Engineering, vol. 21, no. 4, Apr. 1995.
Conformance and Refinement of Behavior in pi-calculus - Canal, Pimentel, Troya (Correct)
....We recommend to those not acquainted with this process algebra to read the appendix before the rest of this work. 2 Specification of Software Architectures Software Architecture refers to the level of software design in which the system is structured as a collection of interacting components [GP95]. SA focuses on those aspects of design which cannot be suitably treated inside the modules that compose the system [SG96] We propose the calculus for the specification of software architectures. Software systems can be described in calculus by composing the specifications of their components. ....
....by a certain system or architecture. Thus, the relations of compatibility and inheritance presented in this work allow a safe and flexible way of connecting software components even though their behavior is not strictly the same . In the last years, SA has deserved active research interest [GP95, MK96]. Although most of proposals in this field are not formally founded, several papers have already proposed the use of formalisms such as CSP or CHAM for architecture specification. In [MK96] the calculus is used for defining the semantics of Darwin. However, type checking is reduced in Darwin to ....
D. Garlan and D.E. Perry. Special issue on software architecture. IEEE Trans. on Software Engineering, 21(4), April 1995.
A Formal Basis for Architectural Connection - Allen, Garlan (1997) (87 citations) Self-citation (Garlan) (Correct)
No context found.
GARLAN,D.AND PERRY, D., Eds. 1995. Special issue on software architecture. IEEE Trans. Softw. Eng. 21, 4 (Apr.).
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