publications:
- title: "Protective Interface Specifications"
  author:
  - name: "Gary T.  Leavens"
    link: "http://www.cs.ucf.edu/~leavens/homepage.html"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1997"
  researchr: "https://researchr.org/publication/LeavensW97"
  cites: 0
  citedby: 0
  pages: "520-534"
  booktitle: "TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings"
  editor:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Max Dauchet"
    link: "https://researchr.org/alias/max-dauchet"
  volume: "1214"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62781-2"
  kind: "inproceedings"
  key: "LeavensW97"
- title: "Protective Interface Specifications"
  author:
  - name: "Gary T.  Leavens"
    link: "http://www.cs.ucf.edu/~leavens/homepage.html"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1998"
  researchr: "https://researchr.org/publication/LeavensW98"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "10"
  number: "1"
  pages: "59-75"
  kind: "article"
  key: "LeavensW98"
- title: "Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlanda, FL, USA"
  year: "2009"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/oopsla%3A2009c"
  cites: 0
  citedby: 0
  booktitle: "Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlanda, FL, USA"
  conference: "OOPSLA"
  editor:
  - name: "Gary T.  Leavens"
    link: "http://www.cs.ucf.edu/~leavens/homepage.html"
  address: "New York, NY, USA"
  publisher: "ACM"
  kind: "proceedings"
  key: "oopsla:2009c"
- title: "Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA."
  year: "2009"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/oopsla%3A2009"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA."
  conference: "OOPSLA"
  editor:
  - name: "Shail Arora"
    link: "https://researchr.org/alias/shail-arora"
  - name: "Gary T.  Leavens"
    link: "http://www.cs.ucf.edu/~leavens/homepage.html"
  kind: "proceedings"
  key: "oopsla:2009"