22 April 2020: Making Program Analysis Useful Together
The presentations were recorded - click here!
From: 2020-10-22 12:00 to 16:30
From: 2020-10-29 08:00 to 17:00
Barn- och ungdomsevenemang
From: 2020-11-24 09:45 to 2020-11-26 15:00
reqT is a requirements modelling tool for creating and managing requirements on evolving software-intensive systems. reqT combines natural language expressiveness with graph structures using an internal Scala DSL.
Constraint Programming CompetitionWorkshops at CPSWEEKIndustrial seminar in KarlskronaLadda ned
Nyheter Rekryteringar Forskningsfinansiering Ladda ned
Poster by: Per Ganestam and Michael Doggett
Poster by: Emma Soderberg Gorel Hedin at Department of Computer Science, Lund University Problem: How to efficiently analyse the semantics of a changing program? Conclusions: The RAG solution had much...