Project Publications

Software Architecture

  • 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"
  • 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, "Using Refinement to Understand Architectural Connection,
    Proc. Refinement WS", Springer-Verlag LNCS, 1/94
  • 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.Garlan, R.Allen, J.Ockerbloom, "Exploiting Style in Architectural Design Environments",
    Proc. SIGSOFT'94: Foundations of Software Eng., 12/94
  • D.Garlan, D.Perry, "Introduction to the Special Issue on Software Architecture",
    IEEE Transactions on Software Eng., 4/95
  • D.Garlan, "What is Style?" Proc. WS Software Architecture, 4/95
  • M.Shaw, "Patterns for Software Architectures",
    Conf. The Pattern Languages of Programming, 8/94,
    In Pattern Languages of Program Design, ed. J.Coplien, D. Schmidt, Addison-Wesley, pp 453-462, 1995
  • M.Shaw, R.DeLine, D.Klein, T.Ross, D.Young, G.Zelesnik,
    "Abstractions for Software Architecture and Tools to Support Them",
    IEEE Transactions on Software Eng., April 1995.
  • M.Shaw, "Software Architectures for Shared Information Systems",
    Mind Matters: Contributions to Cognitive and Computer Science in Honor of Allen Newell, 1995
  • M.Shaw, "Beyond Objects: A Software Design Paradigm Based on Process Control",
    ACM Software Eng. Notes, Vol.20 No.1, 1/95
  • M.Shaw, D.Garlan, "Characteristics of Higher-level Languages for Software Architecture",
    CMU-CS-94-210, 12/94
  • M.Shaw, "Some Patterns for Software Architecture", Conf. Pattern Languages of Programming, June 1995+
  • M.Shaw, R.DeLine, G.Zelesnik, "Abstractions and Implementations for Architectural Connections", 3/95
  • M.Shaw, D.Garlan, "Formulations and Formalisms in Software Architecture",
    Invited for special volume of LNCS, 1995
  • M.Shaw, "Architectural Issues in Software Reuse: It's Not Just the Functionality, It's the Packaging",
    Summary of invited talk, Proc. Symp. Software Reuse, 1995
  • M.Shaw, D.Garlan, R.Allen, D.Klein, J.Ockerbloom, C. Scott,
    M.Schumacher, "Candidate Model Problems in Software Architecture",
    Discussion draft 1.2 in circulation for development of community consensus, 11/94

    • See also: Able, Aesop, Unicon, Vitrivius.

    Formal Methods

  • D.Garlan, "Integrating Formal Methods into a Professional Master of Software Engineering Program",
    Proc. Z Users Meeting, 6/94
  • L.Mummert, J.M.Wing, M.Satyanarayanan, "Using Belief to Reason about Cache Coherence",
    Proc. Symp. Principles Distributed Computing, August 1994
  • D.Garlan, "Making Formal Methods Education Effective for Professional Software Engineers",
    Information and Software Technology, 6/95
  • D.Garlan, N.Delisle, "Formal Specification of an Architecture for a Family of Instrumentation Systems",
    Applications of Formal Methods, ed. M.Hinchey, J.Bowen, Prentice Hall, International Series in Computer Science, 9/95
  • J.M. Wing and D.C. Steere, "Specifying Weak Sets",
    Proc. Conf. Distributed Computing Systems, June 1995, Also CMU-CS-94-194, October 1994

    • See also: Larch, Wright, Venari.

    Software Analysis

  • 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
  • D.Jackson, C.Damon, "Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector",
    Conf. Software Testing and Analysis, 6/96+
  • D.Jackson, S.Jha, "Faster Checking of Software Specifications By Eliminating Isomorphs",
    Conf. Principles of Programming Languages, 6/96+
  • D.Jackson, E.Rollins, "A New of Model of Program Dependences for Reverse Engineering",
    Proc. ACM Symp. Foundations of Software Eng., 12/94
  • D.Jackson, E.Rollins, "Abstraction Mechanisms for Pictorial Slicing",
    Proc. WS Program Comprehension, 11/94
  • D.Jackson, "Abstract Model Checking of Infinite Specifications",
    Proc. Formal Methods Europe, 10/94
  • D.Jackson, "Exploiting Symmetry in the Model Checking of Relational Specifications", CMU-CS-TR-94-219,
  • J.M.Wing and M.Vaziri-Farahani, "Model Checking Software Systems: A Case Study"
    Proc. SIGSOFT Foundations of Software Eng., October 1995, Also CMU-CS-95-128

    • See also: Chopshop and NitPick home pages.

    Interoperability

  • B.H.Liskov, J.M.Wing, "A Behavioral Notion of Subtyping", ACM TOPLAS
  • 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
  • D.Garlan, R.Allen, J.Ockerbloom, "Architectural Mismatch, or, Why it's hard to build systems out of existing parts",
    Proc. Conf. Software Eng., 4/95
  • M.Shaw, "Coping with Heterogeneity in Software Architecture",
    Position paper for Dagstuhl WS on Software Architecture, 2/95
  • A.M.Zaremski, J.M.Wing, "Specification Matching of Software Components",
    Proc. SIGSOFT Foundations of Software Eng., October 1995, Also CMU-CS-95-127
  • A.M.Zaremski, J.M.Wing, "Signature Matching, a Tool for Software Libraries",
    ACM Transactions on Software Eng. and Methodology, April 1995

    • See also: Venari home page.

    Education

  • D. Garlan, G. Abowd, D. Jackson, J. Tomayko, and J.M. Wing,
    "The CMU Master of Software Engineering Core Curriculum",
    Proc. SEI Conf. Software Eng. Education, LNCS 895, Springer-Verlag, pp 65-86, 4/95
  • J.M.Wing, "Teaching Mathematics to Software Engineers",
    Proc. Conf. Algebraic Methodology and Software Technology (AMAST '95),
    6/95, CMU-CS-95-118R, 5/95

    • Comments? Gripes? Accolades? Mail the current maintainer of this page.

    Last Modified: July 6, 1995