Making Components Move: A Separation of Concerns Approach

Dirk Pattinson, Martin Wirsing. Making Components Move: A Separation of Concerns Approach. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Volume 2852 of Lecture Notes in Computer Science, pages 487-507, Springer, 2002. [doi]

@inproceedings{PattinsonW02,
  title = {Making Components Move: A Separation of Concerns Approach},
  author = {Dirk Pattinson and Martin Wirsing},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=487},
  tags = {separation of concerns, systematic-approach},
  researchr = {https://researchr.org/publication/PattinsonW02},
  cites = {0},
  citedby = {0},
  pages = {487-507},
  booktitle = {Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {2852},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20303-6},
}