Common use of Installation and Usage Clause in Contracts

Installation and Usage. The FACPL language has a dedicated web site at [PTMM13], which provides full information on the installation process and on the usage of the supporting software tools. In short, the plugin can be installed within Eclipse by adding the update site ▇▇▇▇://▇▇▇.▇▇▇.▇▇▇▇▇.▇▇/facpl/ eclipse/plugin. The installation wizard adds automatically the Xtext framework dependencies and the FACPL evaluation library needed for requests evaluation. The binaries and source code of the library can be also manually downloaded from the FACPL web site. Detailed installation and usage instructions can be found in the FACPL user guide [MMPT13b]. By means of simple examples, the guide introduces policies and requests syntax and explains how the request evaluation process is performed. The guide also illustrates the design principles at the basis of the implementation of the evaluation library and the supporting features provided by the IDE.

Installation and Usage. ‌ The FACPL language has a dedicated web site at [PTMM13], which provides full information on the installation process and on the usage of the supporting software tools. In short, the plugin can be installed within Eclipse by adding the update site ▇▇▇▇://▇▇▇.▇▇▇.▇▇▇▇▇.▇▇/facpl/ eclipse/plugin. The installation wizard adds automatically the Xtext framework dependencies and the FACPL evaluation library needed for requests evaluation. The binaries and source code of the library can be also manually downloaded from the FACPL web site. Detailed installation and usage instructions can be found in the FACPL user guide [MMPT13b]. By means of simple examples, the guide introduces policies and requests syntax and explains how the request evaluation process is performed. The guide also illustrates the design principles at the basis of the implementation of the evaluation library library, and the supporting features provided by the IDE.