Checking Interface Interaction Protocols Using Aspect-Oriented Programming

Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung. Checking Interface Interaction Protocols Using Aspect-Oriented Programming. In Antonio Cerone, Stefan Gruner, editors, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. pages 382-386, IEEE Computer Society, 2008. [doi]

@inproceedings{TruongTHNTH08,
  title = {Checking Interface Interaction Protocols Using Aspect-Oriented Programming},
  author = {Anh-Hoang Truong and Thanh-Binh Trinh and Dang Van Hung and Viet Ha Nguyen and Nguyen Thi Thu Trang and Pham Dinh Hung},
  year = {2008},
  doi = {10.1109/SEFM.2008.32},
  url = {http://dx.doi.org/10.1109/SEFM.2008.32},
  tags = {object-oriented programming, protocol, aspect oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/TruongTHNTH08},
  cites = {0},
  citedby = {0},
  pages = {382-386},
  booktitle = {Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008},
  editor = {Antonio Cerone and Stefan Gruner},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3437-4},
}