The Impact of Aspect-Oriented Programming on Formal Methods

Lynne Blair, Gordon S. Blair. The Impact of Aspect-Oriented Programming on Formal Methods. In Serge Demeyer, Jan Bosch, editors, Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings. Volume 1543 of Lecture Notes in Computer Science, pages 436, Springer, 1998. [doi]

@inproceedings{BlairB98,
  title = {The Impact of Aspect-Oriented Programming on Formal Methods},
  author = {Lynne Blair and Gordon S. Blair},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1543/15430436.htm},
  tags = {object-oriented programming, aspect oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/BlairB98},
  cites = {0},
  citedby = {0},
  pages = {436},
  booktitle = {Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
  editor = {Serge Demeyer and Jan Bosch},
  volume = {1543},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65460-7},
}