Spotlight at ICSE
I presented a formal research demonstration at ICSE last week. The demo highlighted Spotlight, our research prototype for software plans. Software plans are like architectural plans of a building in that they allow programmers to work on semi-independent aspects of their programs in semi-independent views, then later integrate them to create the final system. You can check out the latest version of Spotlight, which is built in the Eclipse IDE here.