Checking Assumptions in Component Dynamics as the Architectural Level

Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich. Checking Assumptions in Component Dynamics as the Architectural Level. In David Garlan, Daniel Le Métayer, editors, Coordination Languages and Models, Second International Conference, COORDINATION 97, Berlin, Germany, September 1-3, 1997, Proceedings. Volume 1282 of Lecture Notes in Computer Science, pages 46-63, Springer, 1997.

@inproceedings{InverardiWY97,
  title = {Checking Assumptions in Component Dynamics as the Architectural Level},
  author = {Paola Inverardi and Alexander L. Wolf and Daniel Yankelevich},
  year = {1997},
  tags = {architecture},
  researchr = {https://researchr.org/publication/InverardiWY97},
  cites = {0},
  citedby = {0},
  pages = {46-63},
  booktitle = {Coordination Languages and Models, Second International Conference, COORDINATION  97, Berlin, Germany, September 1-3, 1997, Proceedings},
  editor = {David Garlan and Daniel Le Métayer},
  volume = {1282},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63383-9},
}