JmlEclipse, JIR and OpenJML
|
View:
New views
5 Messages
—
Rating Filter:
Alert me
|
 |
JmlEclipse, JIR and OpenJML
by Patrice Chalin-3
::
Rate this Message:
Hi all,
At the risk of loosing a journal publication that was in the pipeline, we decided to advance work on JML4 and the JML Intermediate Representation (JIR) sooner rather than later. As a result of this work, we have today, pushed back into the JmlSpecs SVN:
Cheers from KSU, Patrice & Robby -- Patrice Chalin, Eng. Associate Prof., Dependable Software Research Group DSRG, http://www.dsrg.org CSE Dept., Concordia University, Room EV3.215 Home page http://www.encs.concordia.ca/~chalin Tel.+1-514-848-2424 x3004 ------------------------------------------------------------------------------ Come build with us! The BlackBerry(R) Developer Conference in SF, CA is the only developer event you need to attend this year. Jumpstart your developing skills, take BlackBerry mobile applications to market and stay ahead of the curve. Join us from November 9 - 12, 2009. Register now! http://p.sf.net/sfu/devconference _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers |
|
|
Re: JmlEclipse, JIR and OpenJML
by Gary T. Leavens-2
::
Rate this Message:
Hi Patrice,
Excellent, that is very good news. Is there somewhere that people can download these? I can put that into the JML web download pages... On Fri, 23 Oct 2009, Patrice Chalin wrote: > Hi all, > > At the risk of loosing a journal publication that was in the pipeline, we > decided to advance work on JML4 and the JML Intermediate Representation > (JIR) sooner rather than later. As a result of this work, we have today, > pushed back into the JmlSpecs SVN: > * JIR framework having a much improved design. We decided to fall back > on our pre-Dagstuhl idea of representing JIR as (zipped) XML, though > this is entirely transparent to clients. > * JmlEclipse (Reloaded), the successor of JML4 -- well, actually, > successor of the JMLn projects. It runs under Eclipse 3.5.1 and > emits JIR from JML2 specifications. Yes, for those of you who recall, > this is actually a rebirth of the JmlEclipse plug-in from SAnToS Labs > at KSU, though now its core is based on the Eclipse JDT and it will > soon be using a slick new Eclipse UI framework designed by Robby. > Jooyong is finalizing JIR support for OpenJML as well as the adaptation > of Kiasan to use JIR. Once that is complete we will have two front-ends > emitting class files embedded with JIR. > > Cheers from KSU, > Patrice & Robby > > -- > Patrice Chalin, Eng. Associate Prof., Dependable Software Research Group > DSRG, http://www.dsrg.org CSE Dept., Concordia University, Room EV3.215 > Home page http://www.encs.concordia.ca/~chalin Tel.+1-514-848-2424 x3004 > > Gary T. Leavens 439C Harris Center (Bldg. 116) School of EECS, University of Central Florida 4000 Central Florida Blvd., Orlando, FL 32816-2362 USA http://www.eecs.ucf.edu/~leavens phone: +1-407-823-4758 leavens@... ------------------------------------------------------------------------------ Come build with us! The BlackBerry(R) Developer Conference in SF, CA is the only developer event you need to attend this year. Jumpstart your developing skills, take BlackBerry mobile applications to market and stay ahead of the curve. Join us from November 9 - 12, 2009. Register now! http://p.sf.net/sfu/devconference _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers |
|
|
Re: JmlEclipse, JIR and OpenJML
by Joseph Kiniry
::
Rate this Message:
On 24 Oct 2009, at 04:09, Patrice Chalin wrote:
Hrm, now even I can't keep up with these branches and derivates and history. What is the intent/purpose of JmlEclipse? Why were precious resources spent in working on it rather than getting OpenJML out the door? Or is it based on OpenJML? Joe
------------------------------------------------------------------------------ Come build with us! The BlackBerry(R) Developer Conference in SF, CA is the only developer event you need to attend this year. Jumpstart your developing skills, take BlackBerry mobile applications to market and stay ahead of the curve. Join us from November 9 - 12, 2009. Register now! http://p.sf.net/sfu/devconference _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers |
|
|
Re: JmlEclipse, JIR and OpenJML
by Patrice Chalin-3
::
Rate this Message:
Hi Gary et al.,
JmlEclipse is served off of the JmlSpecs SVN from the top-level folder named JmlEclipse. We posted this message to the developers list because JmlEclipse is not yet ready for public consumption. We want to, at a minimum, finish integrating the new UI before considering a first public release. Robby is considering using JmlEclipse on the tail end of a course this spring and I need JmlEclipse ready for a course on verification next fall. Considering that I am on sabbatical this year and seeing how much progress Robby and I have been able to make in Sept. and Oct., I think this is feasible. (I'll answer Joe's e-mail shortly.)Excellent, that is very good news. Is there somewhere that people can download these? I can put that into the JML web download pages... Cheers, Patrice -- Patrice Chalin, Eng. Associate Prof., Dependable Software Research Group DSRG, http://www.dsrg.org CSE Dept., Concordia University, Room EV3.215 Home page http://www.encs.concordia.ca/~chalin Tel.+1-514-848-2424 x3004 ------------------------------------------------------------------------------ Come build with us! The BlackBerry(R) Developer Conference in SF, CA is the only developer event you need to attend this year. Jumpstart your developing skills, take BlackBerry mobile applications to market and stay ahead of the curve. Join us from November 9 - 12, 2009. Register now! http://p.sf.net/sfu/devconference _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers |
|
|
Re: JmlEclipse, JIR and OpenJML
by Patrice Chalin-3
::
Rate this Message:
Hi Joe et al.,
> What is the intent/purpose of JmlEclipse? Why were precious resources > spent in working on it rather than getting OpenJML out the door? During Dagstuhl we stated that we were willing to put JML4 on hold and help the community with OpenJML development. We have done that, though maybe not exactly in the manner originally envisioned. Our contribution to the OpenJML effort has been via the added support, in OpenJML, of JIR. I stress that the plan was to put JML4 on hold, not drop it. After Dagstuhl we faced the choice of delaying work on JIR and JML but then risk loosing a journal publication opportunity (one that was already in the pipeline) or, to wrap up JIR & JML4 work earlier and have firmer validation results to give. We didn't want to loose our investment in JIR and JML4 so we chose the latter. > Or is it based on OpenJML? JmlEclipse, like JML4, is based on the Eclipse JDT core. Unlike JML4, JmlEclipse promises to be less coupled to the JDT through its use of JIR. Plug-ins will be able to use JmlEclipse via JIR through the public JDT DOM API. As you know, such public APIs are much better documented and much more stable -- a plus for JML tool developers. Both Robby and I have been working in the context of Eclipse for a few years now. At this point, I believe that our contributions to a next gen JML tool can best be achieved by keeping our (Robby and my) development focus on JmlEclipse rather than ramping up on yet another compiler front-end. Regardless of the next gen tool, once basic JML functionality will have been achieved, it won't be long before we get requests for IDE features like syntax highlighting, spec (semantic vs. purely syntactic) search, spec refactoring and program slice highlighting to mention only a few. There is considerable opportunity to make verification technology a bit more palatable in the context of a feature rich IDE like Eclipse. We continue to believe that this can be better achieved from inside Eclipse, say using JmlEclipse, than using an external tool. Our overall goals for JmlEclipse remain the same as they were before for JML4: provide robust JML tools inside a feature-rich IDE such that the tooling is easy to extend and has a low engineering maintenance overhead as both Java and JML continue to evolve. We believe that these goals can be reached with JmlEclipse. Patrice & Robby -- Patrice Chalin, Eng. Associate Prof., Dependable Software Research Group DSRG, http://www.dsrg.org CSE Dept., Concordia University, Room EV3.215 Home page http://www.encs.concordia.ca/~chalin Tel.+1-514-848-2424 x3004 ------------------------------------------------------------------------------ Come build with us! The BlackBerry(R) Developer Conference in SF, CA is the only developer event you need to attend this year. Jumpstart your developing skills, take BlackBerry mobile applications to market and stay ahead of the curve. Join us from November 9 - 12, 2009. Register now! http://p.sf.net/sfu/devconference _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers |
| Free embeddable forum powered by Nabble | Forum Help |
