@InProceedings{Melton97CASCON,
      AUTHOR = {Melton, Ralph and Garlan, David},
      TITLE = {Architectural Unification},
      YEAR = {1997},
      MONTH = {November},
      BOOKTITLE = {Proceedings of CASCON'97},
      KEY = {Melton},
      ADDRESS = {Ontario, Canada},
      PDF = {http://www.cs.cmu.edu/afs/cs/project/able/ftp/Unification/Unification.pdf},
      PS = {http://www.cs.cmu.edu/afs/cs/project/able/ftp/Unification/Unification.ps},
      ABSTRACT = {Many software designs are produced by combining and elaborating existing architectural design fragments. These fragments may be design patterns, partially thought-out ideas, or portions of some previously-developed system design. To provide mechanized support for this activity it is necessary to have a precise characterization of when and how two or more architectural fragments can be combined. In this paper we describe extensions to notations for software architecture to represent incomplete design fragments, and algorithms for combining fragments in a process analogous to unification in logic. },
      ANNOTE = {CONFERENCE-URL : http://www.cas.ibm.ca/cascon/cfp.html}
}