This plug-in requires the LTSA Eclipse plug-in, and can be installed as a feature from the main LTSA Eclipse Update site.
Note: The install site for LTSA Eclipse is: http://www.doc.ic.ac.uk/ltsa/eclipse/install.
| • | Please see the LTSA Eclipse help guide for details of installing the core LTSA Eclipse and associated plug-ins (including WS-Engineer). |
| • | Additionally you may want to install some specification language tool suites. |
| • | There are also some Sample Files which can be used to perform analysis tutorials. |
