Development of Semantic Analysis Techniques for Java Code

Starting date
July 1, 2017
Duration (months)
18
Departments
Computer Science
Managers or local contacts
Spoto Nicola Fausto

The project studies and develops techniques for the semantic static analysis of Java code of industrial size, written with the most used techniques for that context, in particular for banking applications, such as the libraries Spring, HIbernate and Android.

Sponsors:

Julia s.r.l.
Funds: assigned and managed by the department

Project participants

Nicola Fausto Spoto
Associate Professor
Research areas involved in the project
Ingegneria del Software e verifica formale
Software organization and properties

Activities

Research facilities

Share