and availability information is available upon request.
SpecTRM may be downloaded for a 30 day trial. If you would like a longer trial period, contact email@example.com. Safeware Engineering Corporation also makes SpecTRM available to qualified non-profit academic and research institutions at no cost. Contact firstname.lastname@example.org for details.
SpecTRM comes in two versions, a standard version and a developer version. Both versions contain all of the tools for working with intent specifications and SpecTRM-RL models. The developer version also includes the Eclipse platform tools necessary to develop custom plugin extensions to SpecTRM.
A tutorial is available to walk through the features of the software.
Note: If installed on a Windows 2000 system, SpecTRM must be run as the Administrator the first time the program is run in order to properly finish setup. Subsequently, running SpecTRM can be done with non-administrator user accounts.
Copyright © 2003 - 2016 Safeware Engineering Corporation. All rights reserved