A Rigorous Model of Contract-Based Service Component Architecture

Dehui Du, Jing Liu, Honghua Cao. A Rigorous Model of Contract-Based Service Component Architecture. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 409-412, IEEE Computer Society, 2008. [doi]

@inproceedings{DuLC08,
  title = {A Rigorous Model of Contract-Based Service Component Architecture},
  author = {Dehui Du and Jing Liu and Honghua Cao},
  year = {2008},
  doi = {10.1109/CSSE.2008.1007},
  url = {http://dx.doi.org/10.1109/CSSE.2008.1007},
  tags = {rule-based, contracts, architecture},
  researchr = {https://researchr.org/publication/DuLC08},
  cites = {0},
  citedby = {0},
  pages = {409-412},
  booktitle = {International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3336-0},
}