Results 1 to 2 of 2
  1. #1
    superhaNds is offline Senior Member
    Join Date
    Apr 2013
    Location
    Sweden
    Posts
    265
    Rep Power
    2

    Default formal specifications in eclipse

    Does anyone know how can I find a plug in for eclipse (if exists) to write formal specifications using Z notation.
    I have information that something like this exists but I can't find it.

  2. #2
    superhaNds is offline Senior Member
    Join Date
    Apr 2013
    Location
    Sweden
    Posts
    265
    Rep Power
    2

Similar Threads

  1. Help with formal parameter, ArrayList
    By ezkatz19 in forum New To Java
    Replies: 2
    Last Post: 01-27-2012, 07:05 AM
  2. Formal introduction
    By sbliss in forum Introductions
    Replies: 3
    Last Post: 03-21-2010, 09:40 PM
  3. How to use the Java API specifications
    By CJSLMAN in forum New To Java
    Replies: 2
    Last Post: 02-16-2009, 01:24 AM

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •