EXPRESS/DIS conformance checker ICE V1.0.
This software is available for
Sun 4,
SGI,
Apollo/HP400,
HP 9000/715,
IBM RS6000,
Linux,
OS/2 2.0.
Click one of the above hotlinks for a copy.
Click here for
ftp access.
EXPRESS/IS conformance checker ICE V2.0.1.
This software is available for
Sun 4.
Click the above hotlink for a copy.
Click here for
ftp access.
- ICE V3.0 is currently under beta test
and will be soon freely available for
SUN4. Other platforms (including NT, Linux) will be supported by
October 1997.
ICE V3.0 fixes several bugs, provides grouping of error messages, and
optionally generates C code (dumps internal
compiler generator structor) for using ICE as a front-end for your
individual EXPRESS compiler.
EXPRESS-P checker ICE-P V1.0. This software is available for
Sun 4.
Click the above hotlink for a copy of the software including the EXPRESS-P language reference manual.
Click here for basic information (README file).
Click here for the EXPRESS-P language reference manual (TC184/SC4/WG5 N230).
Click here for
ftp access.
Parallel environment for ISO 10303-21 conformance check
(not available yet)
JIM
(Janus In Motion): Pictorial Janus Capture and Animation Environment
Some animations are available as MPEG videos:
Wolfgang Mueller &
Georg Lehrenfeld