Composable Software Systems Project Publications

• G.Abowd, R.Allen, D.Garlan, "Using Style to Give Meaning to Software Architecture", Proc. SIGSOFT'93: Foundations of Software Eng., 12/93
• R.Allen, D.Garlan, "Formalizing Architectural Connection", Proc. Conf. Software Eng., 5/94
• R.Allen, D.Garlan, "Beyond Definition/Use: Architectural Interconnection", Proc. ACM Interface Definition Language WS, 1/94
• R.Allen, D.Garlan, "A Formal Basis for Architectural Connection"
• H.S.Chadha, J.W.Baugh, J.M.Wing, "Formal Specification of AEC Product Models", Proc. Computing in Civil Eng., Am. Soc. Civil Eng. 6/94
• D.Garlan, M.Shaw, "Software Development Assignments for a Software Architecture Course", Proc. WS Software Eng. Education, 5/94
• D.Garlan, R.Allen, J.Ockerbloom, "Exploiting Style in Architectural Design Environments"
• D.Garlan, D.Perry, "Software Architecture: Practice, Potential, and Pitfalls", Panel introduction, Proc. Conf. Software Eng., 5/94
• D.Garlan, "The Role of Software Architecture in Requirements Engineering", Invited panel paper, Proc. Conf. Requirements Eng., 4/94
• D.Garlan, "Integrating Formal Methods into a Professional Master of Software Engineering Program", Proc. Z Users Meeting, 6/94
• D.Garlan, "Using Refinement to Understand Architectural Connection, Proc. Refinement WS", Springer-Verlag LNCS, 1/94
• N.Haines, D.Kindred, J.G.Morrisett, S.M.Nettles, J.M.Wing, "Composing First-Class Transactions", ACM TOPLAS, Short Communication
• R.Harper, P.Lee, F.Pfenning, E.Rollins, "A Compilation Manager for SML/NJ", Proc. ACM WS Standard ML, 6/94
• D.Jackson, E.Rollins, "Abstract Dependences for Reverse Engineering"
• D.Jackson, "Aspect: Detecting Bugs with Abstract Dependences"
• D.Jackson, D. Ladd, "Semantic Diff: A Tool for Summarizing The Effects of Modifications", Proc. Conf. Software Maintenance, 9/94
• D.Jackson, "Abstract Model Checking of Infinite Specifications", Proc. Formal Methods Europe, 10/94
• D.Jackson, "Structuring Z Specifications With Views", Tech. Report CMU-CS-94-126, 3/94
• B.H.Liskov, J.M.Wing, "A Behavioral Notion of Subtyping", ACM TOPLAS
• B.Liskov, J.M.Wing, "Specifications and Their Use in Defining Subtypes", Proc. OOPSLA '93, 9/93
• L.Mummert, J.M.Wing, M.Satyanarayanan, "Using Belief to Reason about Cache Coherence", Proc. Symp. Principles Distributed Computing, 8/94
• D.Notkin, D.Garlan, W.G.Griswold, K.Sullivan, "Adding Implicit Invocation to Languages: Three Approaches", Proc. JSSST Symp. Object Technologies for Advanced Software, Springer-Verlag LNCS 742, 11/93
• M.Shaw, D.Garlan, "Software Architecture: Perspectives on an Emerging Discipline", book in preparation
• M.Shaw, "Making Choices: A Comparison of Styles for Software Architecture"
• M.Shaw, "Patterns for Software Architectures"
• M.Shaw, R.DeLine, D.V.Klein, T.L.Ross, D.Young, G.Zelesnik, "Abstractions for Software Architecture and Tools to Support Them"
• D.T.Steere, M.Satyanarayanan, J.M.Wing, "Dynamic Sets for Search", Proc. Symp. Principles of Distributed Computing, abstract, 8/94
• J.M.Wing, "Decomposing and Recomposing Transactional Concepts", Proc. WS Object-based Distributed Programming, Springer-Verlag LNCS 791, ed. R.Guerraoui, O.Nierstrasz, M.Riveill
• A.M.Zaremski, J.M.Wing, "Signature Matching: A Key to Reuse", Proc. SIGSOFT '93: Foundations of Software Eng., 12/93