parser and code-generator

Article View: borland.public.jbuilder.java.language

Article #19401

Back to borland.public.jbuilder.java.language Previous Next

#19401

From: R.C. vd Zon
Date: Wed, 11 Feb 1998 00:00

22 lines
1144 bytes

Hi all,

We are working on an case-tool that makes use of an
graphical notation (probably UML) and a formal
notation for pre-, post-conditions and invariants.
We will probably use object-Z for the formal notation.

1) We are looking for a parser(written in java) that 
checks the syntax of the formal notation.

2) We are looking for a code-generator that converts the
formal Z-notation to java-code that checks the pre-, post-
condition or invariant.

If anyone knows if there has been done some work in
this area, please let me know. I would appreciate all hints.

Thanks in advance,

Robbert van der Zon
Dicon automatisering

Technical Details

Message-ID: <34E16CE5.1F22@dicon.nl>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f74b3,d42fa2f232360c7a,start
X-Google-Attributes: gidf74b3,public
From: "R.C. vd Zon" <vdZon@dicon.nl>
Subject: parser and code-generator
Date: 1998/02/11
Message-ID: <34E16CE5.1F22@dicon.nl>
X-Deja-AN: 324052771
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=us-ascii
Organization: DICON Automatisering B.V.
Mime-Version: 1.0
Reply-To: vdZon@dicon.nl
Newsgroups: borland.public.jbuilder.java.language