Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0

Unite: Adaptér pro zpřístupnění nástrojů pro analýzu softwaru přes webové služby s využitím OSLC, Verze 3.0

software

In order to use the result by another entity, it is always necessary to acquire a license

The licensor does not require a license fee for the result

Vašíček Ondřej, Ing. (DITS)
Fiedor Jan, Ing., Ph.D. (DITS)
Smrčka Aleš, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)

Transformation to web services, OSLC, OSLC Automation, Software analysis, Tool
integration, Eclipse Lyo

Unite is a new tool intended as an adapter for transforming non-interactive
command-line analysis tools to OSLC-compliant web services. Unite aims to make
such tools easier to adopt and more convenient to use by allowing them to be
accessible, both locally and remotely, in a unified way and to be easily
integrated into various development environments. 

https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0

Free software under the terms of Eclipse Public License version 2.0 (cf. https://www.eclipse.org/legal/epl-2.0/).

Arrowhead Tools for Engineering of Digitalisation Solutions, EU, Horizon 2020, 8A19010, start: 2019-05-01, end: 2022-07-31, completed
Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, Standardní projekty, GA20-07487S, start: 2020-01-01, end: 2022-12-31, running
Spolehlivé, bezpečné a efektivní počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-20-6427, start: 2020-03-01, end: 2023-02-28, completed

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)