%%% $Id: FoCBS-book.bib,v 1.2 2000/04/08 18:00:11 leavens Exp leavens $
%%%
%%% A bibliography for the book Foundations of Component-Based Systems
%%% (see Leavens-Sitaraman00 below).

@String(NY="New York, NY")

@InCollection{Bergner-etal00,
  Key = 	"Bergner, {\em et al.}",
  Author = 	"Klaus Bergner and Andreas Rausch and Marc Sihling
                 and Alexander Vilbig and Manfred Broy",
  Title = 	"A Formal Model for Componentware",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =     9,
  Pages =       "189-210",
  Annote = 	"21 references."
}

@InCollection{Chen-Cheng00,
  Key = 	"Chen \& Cheng",
  Author = 	"Yonghao Chen and Betty H. C. Cheng",
  Title = 	"A Semantic Foundation for Specification Matching",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =     5,
  Pages =       "91-109",
  Annote = 	"34 references."
}

@InCollection{Garlan-Monroe-Wile00,
  Key = 	"Garlan \& Monroe \& Wile",
  Author = 	"David Garlan and Robert T. Monroe and David Wile",
  Title = 	"Acme: Architectural Description of Component-Based Systems",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =      3,
  Pages =       "47-67",
  Annote = 	"26 references."
}

@InCollection{Garland-Lynch00,
  Key = 	"Garland \& Lynch",
  Author = 	"Stephen J. Garland and Nancy Lynch",
  Title = 	"Using I/O Automata for Developing Distributed Systems",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =      13,
  Pages =       "285-312",
  Annote = 	"41 references."
}

@InCollection{Gibson-etal00,
  Key = 	"Gibson, {\em et al.}",
  Author = 	"David S. Gibson and Bruce W. Weide and Scott M. Pike
                 and Stephen H. Edwards",
  Title = 	"Toward a Normative Theory for Component-Based System Design",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =     10,
  Pages =       "211-230",
  Annote = 	"36 references."
}

@InCollection{Goguen-Tracz00,
  Key = 	"Goguen \& Tracz",
  Author = 	"Joseph A. Goguen and Will Tracz",
  Title = 	"An Implementation-Oriented Semantics for Module Composition",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =     11,
  Pages =       "231-263",
  Annote = 	"29 references."
}

@InCollection{Lano-etal00,
  Key = 	"Lano, {\em et al.}",
  Author = 	"Kevin Lano and Juan Bicarregui and Tom Maibaum and Jose Fiadeiro",
  Title = 	"Composition of Reactive System Components",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =     12,
  Pages =       "267-283",
  Annote = 	"15 references."
}

@InCollection{Leavens-Dhara00,
  key =		 {Leavens \& Dhara},
  author = 	 {Gary T. Leavens and Krishna Kishore Dhara},
  title = 	 {Concepts of Behavioral Subtyping and a Sketch of Their
                 Extension to Component-Based Systems},
  booktitle = 	 {Foundations of Component-Based Systems},
  year =	 2000,
  editor =	 {Gary T. Leavens and Murali Sitaraman},
  publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  chapter =	 6,
  pages =	 {113-135},
  annote =	 {A survey of behavioral subtyping. 79 references.}
}

@Book{Leavens-Sitaraman00,
  title = 	 {Foundations of Component-Based Systems},
  year = 	 2000,
  key =		 {Leavens \& Sitaraman},
  editor =	 {Gary T. Leavens and Murali Sitaraman},
  publisher =	 {Cambridge University Press},
  address =	 NY,
  ISBN =         {0-521-77164-1}
}

@InCollection{Luckham-Vera-Meldal00,
  Key = 	"Luckham \& Vera \& Meldal",
  Author = 	"David C. Luckham and James Vera and Sigurd Meldal",
  Title = 	"Key Concepts in Architecture Definition Languages",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =      2,
  Pages =       "23-45",
  Annote = 	"28 references."
}

@InCollection{Lumpe-Achermann-Nierstrasz00,
  Key = 	"Lumpe \& Achermann \& Nierstrasz",
  Author = 	"Markus Lumpe and Franz Achermann and Oscar Nierstrasz",
  Title = 	"A Formal Language for Composition",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =      4,
  Pages =       "69-90",
  Annote = 	"30 references."
}

@InCollection{Mueller-Poetzsch-Heffter00,
  key = 	 {M{\"u}ller \& Poetzsch-Heffter},
  author = 	 {Peter M{\"u}ller and Arnd Poetzsch-Heffter},
  title = 	 {Modular Specification and Verification Techniques for
                 Object-Oriented Software Components},
  booktitle = 	 {Foundations of Component-Based Systems},
  publisher =	 {Cambridge University Press},
  year =	 2000,
  editor =	 {Gary T. Leavens and Murali Sitaraman},
  chapter =	 7,
  pages =	 {137-159},
  annote =	 {15 references.}
}

@InCollection{Szyperski00,
  Key = 	"Szyperski",
  Author = 	"Clemens Szyperski",
  Title = 	"Component Software and the Way Ahead",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =     1,
  Pages =       "1-20",
  Annote = 	"16 references."
}

@InCollection{Wing-Ockerbloom00,
  Key = 	"Wing \& Ockerbloom",
  Author = 	"Jeannette M. Wing and John Ockerbloom",
  Title = 	"Respectful Type Converters for Mutable Types",
  BookTitle = 	 {Foundations of Component-Based Systems},
  Editor =	 {Gary T. Leavens and Murali Sitaraman},
  Year = 	 2000,
  Publisher =	 {Cambridge University Press},
  Address =	 NY,
  ISBN =         {0-521-77164-1},
  Chapter =     8,
  Pages =       "161-186",
  Annote = 	"11 references."
}