[Jmlspecs-interest] Survey About Specification Preferences

[Gary T. L. <le...@ee...>]

Hi,

In work that John Singleton, Hridesh Rajan, and I are doing, we would like
you to take a survey about your preferences regarding some pairs of JML
specifications. The data will all be anonymously collected. If you have 10
minutes or so, please take the survey, as that will help our research.  The
survey is at

http://ucf.qualtrics.com/jfe/form/SV_88k5ySHbhZt0f1H

        Regards,

        Gary T. Leavens
        437D Harris Center (Bldg. 116)
        Computer Science, University of Central Florida
        4000 Central Florida Blvd., Orlando, FL 32816-2362 USA
        http://www.cs.ucf.edu/~leavens <http://www.eecs.ucf.edu/~leavens>
phone: +1-407-823-4758
        le...@cs... <le...@ee...>