Ambient contracts: verifying and enforcing ambient object compositions à la carte

Christophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D Hondt. Ambient contracts: verifying and enforcing ambient object compositions à la carte. Personal and Ubiquitous Computing, 15(4):341-351, 2011. [doi]

@article{ScholliersHTMD11,
  title = {Ambient contracts: verifying and enforcing ambient object compositions à la carte},
  author = {Christophe Scholliers and Dries Harnie and Éric Tanter and Wolfgang De Meuter and Theo D Hondt},
  year = {2011},
  doi = {10.1007/s00779-010-0355-z},
  url = {http://dx.doi.org/10.1007/s00779-010-0355-z},
  tags = {contracts, composition},
  researchr = {https://researchr.org/publication/ScholliersHTMD11},
  cites = {0},
  citedby = {0},
  journal = {Personal and Ubiquitous Computing},
  volume = {15},
  number = {4},
  pages = {341-351},
}