|

»

Java Modeling Language (JML)

»

jmlspecs-developers

[jmlspecs] #41: Replace keywords \oper with JML.$oper()

View: New views

4 Messages — Rating Filter: Alert me

	[jmlspecs] #41: Replace keywords \oper with JML.$oper() by SourceForge.net :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #41: Replace keywords \oper with JML.$oper() ----------------------------------+----------------------------------------- Reporter: chalin \| Owner: Type: task \| Status: new Priority: major \| Milestone: Component: JML Reference Manual \| Version: 1.0a Keywords: \| ----------------------------------+----------------------------------------- (From NotesDagstuhl) Replace keywords \oper with JML.$oper(). -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/41> jmlspecs <http://sourceforge.net/projects/jmlspecs/> The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, documentation generation, unit testing, static checking, verification, etc. ------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
	Re: [jmlspecs] #41: Replace keywords \oper with JML.$oper() by David Cok :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message Was this meant to be a wholesale replacement, an alternative, an investigation in association with JIR? - David jmlspecs - Trac instance wrote: > #41: Replace keywords \oper with JML.$oper() > ----------------------------------+----------------------------------------- > Reporter: chalin \| Owner: > Type: task \| Status: new > Priority: major \| Milestone: > Component: JML Reference Manual \| Version: 1.0a > Keywords: \| > ----------------------------------+----------------------------------------- > (From NotesDagstuhl) Replace keywords \oper with JML.$oper(). > > ------------------------------------------------------------------------------ Come build with us! The BlackBerry® 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/devconf _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
	Re: [jmlspecs] #41: Replace keywords \oper with JML.$oper() by Patrice Chalin-3 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message Hi, There are a number of simplifications to the lexical and syntactic definitions of JML that we can make to help reduce the burden of creating a JML front-end. This was one of the simple proposals. I believe that it was decided that we would look into this after OpenJML was up to full speed (w.r.t. recognizing all of the current JML). Of course, we could decide to do otherwise ... and make the change now, deprecating the old \-prefix-based syntax. Patrice David Cok wrote: Was this meant to be a wholesale replacement, an alternative, an investigation in association with JIR? - David jmlspecs - Trac instance wrote: #41: Replace keywords \oper with JML.$oper() ----------------------------------+----------------------------------------- Reporter: chalin \| Owner: Type: task \| Status: new Priority: major \| Milestone: Component: JML Reference Manual \| Version: 1.0a Keywords: \| ----------------------------------+----------------------------------------- (From NotesDagstuhl) Replace keywords \oper with JML.$oper(). -- 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® 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/devconf _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
	Re: [jmlspecs] #41: Replace keywords \oper with JML.$oper() by Gary T. Leavens-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message Hi Patrice and all, I think this kind of language design discussion should take place in the jmlspecs-interest mailing list (with a more detailed proposal on the wiki). On Tue, 22 Sep 2009, Patrice Chalin wrote: > Hi, > > There are a number of simplifications to the lexical and syntactic > definitions of JML that we can make to help reduce the burden of creating a > JML front-end. This was one of the simple proposals. I believe that it was > decided that we would look into this after OpenJML was up to full speed > (w.r.t. recognizing all of the current JML). Of course, we could decide to do > otherwise ... and make the change now, deprecating the old \-prefix-based > syntax. > Patrice > > David Cok wrote: >> Was this meant to be a wholesale replacement, an alternative, an >> investigation in association with JIR? >> >> - David >> >> >> jmlspecs - Trac instance wrote: >> >>> #41: Replace keywords \oper with JML.$oper() >>> >>> ----------------------------------+----------------------------------------- >>> Reporter: chalin \| Owner: Type: task >>> \| Status: new Priority: major \| Milestone: >>> Component: JML Reference Manual \| Version: 1.0a >>> Keywords: \| >>> ----------------------------------+----------------------------------------- >>> (From NotesDagstuhl) Replace keywords \oper with JML.$oper(). >>> >>> > -- > 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® 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/devconf _______________________________________________ Jmlspecs-developers mailing list Jmlspecs-developers@... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers