An Assume Guarantee Verification Methodology for Aspect-Oriented Programming

Mustafa Ispir, Aysu Betin-Can. An Assume Guarantee Verification Methodology for Aspect-Oriented Programming. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy. pages 391-394, IEEE, 2008. [doi]

@inproceedings{IspirC08,
  title = {An Assume Guarantee Verification Methodology for Aspect-Oriented Programming},
  author = {Mustafa Ispir and Aysu Betin-Can},
  year = {2008},
  doi = {10.1109/ASE.2008.56},
  url = {http://dx.doi.org/10.1109/ASE.2008.56},
  tags = {object-oriented programming, program verification, aspect oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/IspirC08},
  cites = {0},
  citedby = {0},
  pages = {391-394},
  booktitle = {23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy},
  publisher = {IEEE},
}