Designing a Domain-Specific Contract Language: A Metamodelling Approach

Zhan En Chan, Richard F. Paige. Designing a Domain-Specific Contract Language: A Metamodelling Approach. In Alan Hartman, David Kreische, editors, Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings. Volume 3748 of Lecture Notes in Computer Science, pages 175-189, Springer, 2005. [doi]

@inproceedings{ChanP05:0,
  title = {Designing a Domain-Specific Contract Language: A Metamodelling Approach},
  author = {Zhan En Chan and Richard F. Paige},
  year = {2005},
  doi = {10.1007/11581741_14},
  url = {http://dx.doi.org/10.1007/11581741_14},
  tags = {contracts, systematic-approach, domain-specific language},
  researchr = {https://researchr.org/publication/ChanP05%3A0},
  cites = {0},
  citedby = {0},
  pages = {175-189},
  booktitle = {Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings},
  editor = {Alan Hartman and David Kreische},
  volume = {3748},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30026-0},
}