Composing heterogeneous software architectures

[1]  Steve Vestal,et al.  Domain-Specific Software Architectures for Guidance, Navigation and Control , 1996, Int. J. Softw. Eng. Knowl. Eng..

[2]  B. Boehm.  Control. Honeywell Technology Center, Minneapolis, MN. [GACE95] C. Gacek, A. Abd-Allah, B. Clark, B. Boehm. "On the Definition of Software Architecture", , 1996 .

[3]  David Garlan,et al.  Architectural Mismatch or Why it's hard to build systems out of existing parts , 1995, 1995 17th International Conference on Software Engineering.

[4]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[5]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

[6]  Xiaolei Qian,et al.  Correctness and composition of software architectures , 1994, SIGSOFT '94.

[7]  David Garlan,et al.  Exploiting style in architectural design environments , 1994, SIGSOFT '94.

[8]  John Nicholls,et al.  Z notation , 1994 .

[9]  Len Bass,et al.  Toward Deriving Software Architectures from Quality Attributes , 1994 .

[10]  Dan Harkey,et al.  Essential client/server survival guide , 1994 .

[11]  Will Tracz,et al.  Domain-specific software architecture (DSSA) frequently asked questions (FAQ) , 1994, SOEN.

[12]  David Garlan,et al.  Formal Connectors , 1994 .

[13]  George J. Milne.  Formal Specification and Verification of Digital Systems , 1994 .

[14]  Anthony Hall.  Specifying and Interpreting Class Hierarchies in Z , 1994, Z User Workshop.

[15]  A. Udaya Shankar,et al.  A Theory of Interfaces and Modules I-Composition Theorem , 1994, IEEE Trans. Software Eng..

[16]  Mukesh Singhal,et al.  Advanced Concepts In Operating Systems , 1994 .

[17]  Xiaoping Jia.  ZTC: A Type Checker for Z User's Guide , 1994 .

[18]  Gregory D. Abowd,et al.  Using style to understand descriptions of software architecture , 1993, SIGSOFT '93.

[19]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[20]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[21]  David Garlan,et al.  Towards Formalized Software Architectures , 1992 .

[22]  Jane Sinclair,et al.  Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.

[23]  Eberhardt Rechtin.  Systems Architecting: Creating & Building Complex Systems , 1990 .

[24]  J. Michael Spivey.  Specifying a real-time kernel , 1990, IEEE Software.

[25]  Jifeng He,et al.  Specification, analysis and refinement of interactive processes , 1990 .

[26]  Jeremy H. C. Kuo.  Open architecture and tool integration of software development environments , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[27]  Leigh R. Power.  Post-facto integration technology: new discipline for an old practice , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[28]  V. Venugopal.  Integrated tool support in object-based environments , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[29]  Erik G. Nilsson,et al.  Aspects of systems integration , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[30]  Walter Royce,et al.  TRW's Ada Process Model for incremental development of large software systems , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[31]  Adrian Nye.  X protocol reference manual , 1990 .

[32]  M. Shaw.  Larger scale systems require higher-level abstractions , 1989, IWSSD '89.

[33]  Rubén Prieto-Díaz,et al.  Module interconnection languages , 1986, J. Syst. Softw..

[34]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[35]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[36]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[37]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975, IEEE Transactions on Software Engineering.