Manuals

The manuals for the STS modeling language (STS-ml) introduce in detail all the constructs, relationships and security requirements supported by the languages. The manuals are aimed to guide modelers in using STS-ml as part of the STS method supported by STS-Tool.

The user guides for STS-Tool explain how to use the tool introducing useful tips, screenshots and suggestions on how to generate the documentation.