]> BibSonomy publications for /author/Garlan http://www.bibsonomy.org/burst/author/Garlan BibSonomy BuRST Feed for /author/Garlan 2008-10-08T06:46:42+02:00 A Formal Basis for Architectural Connection A formal basis for architectural connectionhttp://www.bibsonomy.org/bibtex/2076d48cfc81172d88a3cead850bd0d04/gron gron 2008-09-30T14:24:00+02:00 ArchitectureLanguage Me:AOSD WRIGHT
A Formal Basis for Architectural Connection
Robert Allen and David Garlan ACM Trans. Softw. Eng. Methodol. 6 213--249 (1997)
to ArchitectureLanguage Me:AOSD WRIGHT by gron on 2008-09-30 14:24:00 ]]> New York, NY, USAACM Trans. Softw. Eng. Methodol.3213--249A Formal Basis for Architectural Connection61997ArchitectureLanguage Me:AOSD WRIGHT 2008-09-30 14:24:00.0As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem. An important step toward an engineering discipline of software is a formal basis for describing and analyzing these designs. In the article we present a formal approach to one aspect of architectural design: the interactions among components. The key idea is to define architectural connectors as explicit semantic entities. These are specified as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact. We illustrate how this scheme can be used to define a variety of common architectural connectors. We further provide a formal semantics and show how this leads to a system in which architectural compatibility can be checked in a way analogous to type-checking in programming languages. Software Architectures for Task-Oriented Computing. dblphttp://www.bibsonomy.org/bibtex/27a9f1d3c167e3baca49c6caecf07f117/dblp dblp 2008-08-25T00:00:00+02:00 dblp
Software Architectures for Task-Oriented Computing.
David Garlan ACIS-ICIS 3 (2008)
to dblp by dblp on 2008-08-25 00:00:00 ]]> ACIS-ICISconf/ACISicis/20083Software Architectures for Task-Oriented Computing.2008dblp 2008-08-25 00:00:00.0 Software Architecture: Perspectives on an Emerging Discipline Software architecturehttp://www.bibsonomy.org/bibtex/2a03fa3a22450c15f04fdf4de8c40eb0b/gron gron 2008-08-18T16:47:28+02:00 Architecture Me:MastersThesis Software
Software Architecture: Perspectives on an Emerging Discipline
Mary Shaw and David Garlan (1996)
to Architecture Me:MastersThesis Software by gron on 2008-08-18 16:47:28 ]]> Upper Saddle River, NJ, USASoftware Architecture: Perspectives on an Emerging Discipline1996Architecture Me:MastersThesis Software 2008-08-18 16:47:28.0 Exploiting architectural design knowledge to support self-repairing systems my huge bibtexhttp://www.bibsonomy.org/bibtex/28808edb5d5d0795dfffd22541dfdf18f/cabird cabird 2008-08-15T20:29:46+02:00 imported
Exploiting architectural design knowledge to support self-repairing systems
Bradley Schmerl and David Garlan Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)
to imported by cabird on 2008-08-15 20:29:46 ]]> {Proceedings of the 14th international conference on Software engineering and knowledge engineering}{Exploiting architectural design knowledge to support self-repairing systems}2002imported 2008-08-15 20:29:46.0 Software Architecture-Based Adaptation for Pervasive Systems my huge bibtexhttp://www.bibsonomy.org/bibtex/27ed7297ec12e0162ca95ef51d47b2fe6/cabird cabird 2008-08-15T20:29:46+02:00 imported
Software Architecture-Based Adaptation for Pervasive Systems
Shang-Wen Cheng and David Garlan and Bradley R. Schmerl and Jo\&\#227;o Pedro Sousa and Bridget Spitznagel and Peter Steenkiste and Ningning Hu Proceedings of the International Conference on Architecture of Computing Systems (2002)
to imported by cabird on 2008-08-15 20:29:46 ]]> Proceedings of the International Conference on Architecture of Computing Systems{Software Architecture-Based Adaptation for Pervasive Systems}2002imported 2008-08-15 20:29:46.0 A Compositional Approach to Constructing Connectors my huge bibtexhttp://www.bibsonomy.org/bibtex/2427c506766ff6d1265d59b3c8a45c980/cabird cabird 2008-08-15T20:29:46+02:00 imported
A Compositional Approach to Constructing Connectors
B. Spitznagel and D. Garlan Proceedings, IFIP/IEEE WICSA (2001)
to imported by cabird on 2008-08-15 20:29:46 ]]> Proceedings, IFIP/IEEE WICSAA Compositional Approach to Constructing Connectors2001imported 2008-08-15 20:29:46.0 A formal basis for architectural connection my huge bibtexhttp://www.bibsonomy.org/bibtex/20067f019a72724940099465a1f585011/cabird cabird 2008-08-15T20:29:46+02:00 imported
A formal basis for architectural connection
Robert Allen and David Garlan ACM Transactions on Software Engineering and Methodology 6 213--249 (1997)
to imported by cabird on 2008-08-15 20:29:46 ]]> ACM Transactions on Software Engineering and Methodology3213--249A formal basis for architectural connection61997imported 2008-08-15 20:29:46.0 Acme: Architectural Description of Component-Based Systems my huge bibtexhttp://www.bibsonomy.org/bibtex/2d292524dfbfac917f0ecb62a222538f1/cabird cabird 2008-08-15T20:29:46+02:00 imported
Acme: Architectural Description of Component-Based Systems
David Garlan and Robert T. Monroe and David Wile Foundations of Component-Based Systems (2000)
to imported by cabird on 2008-08-15 20:29:46 ]]> Foundations of Component-Based SystemsAcme: Architectural Description of Component-Based Systems2000imported 2008-08-15 20:29:46.0 Software Architecture: Perspectives on an Emerging Discipline my huge bibtexhttp://www.bibsonomy.org/bibtex/216a49f11ec2e8436ee780b3dd9b82725/cabird cabird 2008-08-15T20:29:46+02:00 imported
Software Architecture: Perspectives on an Emerging Discipline
Mary Shaw and David Garlan (1998)
to imported by cabird on 2008-08-15 20:29:46 ]]> Software Architecture: Perspectives on an Emerging Discipline1998imported 2008-08-15 20:29:46.0 A Compositional Formalization of Connector Wrappers my huge bibtexhttp://www.bibsonomy.org/bibtex/2ce73bc96c21b8e30ccceef6ae7c02a58/cabird cabird 2008-08-15T20:29:46+02:00 imported
A Compositional Formalization of Connector Wrappers
Bridget Spitznagel and David Garlan International Conference on Software Engineering (2003)
to imported by cabird on 2008-08-15 20:29:46 ]]> International Conference on Software EngineeringA Compositional Formalization of Connector Wrappers2003imported 2008-08-15 20:29:46.0