Just as a quick note for the future me (and to anyone interested), here is the paper I was involved in earlier this year, now that it is published. As is the title for this blog post, the title of the paper is "A Formal Contract Language for Plugin-based Software Engineering". It is to do primarily to do with our research into plugin-based software such as Eclipse (which is completely plugin-based), and our thoughts on a way to strengthen the relationship between plugin and the plugin host (or extension and extension-point in proper Eclipse lingo).
Any questions feel free to ask.
Thoughts on “A Formal Contract Language for Plugin-based Software Engineering”