FormalZ at study-day in Utrecht

Students of the Open University The Netherlands are using FormalZ to learn about formal specifications. There performance will be monitored to write up the final evaluation of the tools for…

Continue Reading FormalZ at study-day in Utrecht

IMPRESS presented at PROFES2019

  • Post Author:
  • Post Category:News

The European Project Space at PROFES 2019  provides an opportunity for researchers involved in ongoing and/or recently completed research projects (national, European and international) related to the topics of the…

Continue Reading IMPRESS presented at PROFES2019

IMPRESS 2nd multiplier event: first day

  • Post Author:
  • Post Category:News

The IMPRESS multiplier event has kicked off this afternoon the 21st of November, with demos / hands-on-lab sessions of FormalZ (+Analytics) and CodeDefenders with computer science students at the Universidad Complutense de…

Continue Reading IMPRESS 2nd multiplier event: first day

IMPRESS presentation at 20th International Conference on Product-Focused Software Process Improvement Barcelona, Catalunya, Spain – November 27 to 29, 2019

  • Post Author:
  • Post Category:News

PROFES, the International Conference on Product-Focused Software Process Improvement, is among the top recognized software development and process improvement conferences. The 20th edition of PROFES will be held in Barcelona,…

Continue Reading IMPRESS presentation at 20th International Conference on Product-Focused Software Process Improvement Barcelona, Catalunya, Spain – November 27 to 29, 2019