Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) ForTesSE
Translating Z
Petra Malik

21 October 2011, 15h00
Salle/Bat : unknown/unknown
Contact :

Activités de recherche :

Résumé :
This talk gives an overview of the Community Z Tools (CZT) project, a
set of libraries and tools for the specification language Z, and
summarises current work on translating Z to other formal notations.

Z is an ancient specification language that was initiated in the 1970s
by Abrial and others and then further developed at Oxford. After its
standardisation in 2002, an effort was made by the CZT project to
provide standard-conforming, open-source libraries that serve as a
platform for the development of new tools for Z and its dialects and
extensions. The talk gives an overview of several ongoing projects
where CZT has been used to transform and translate Z specifications in
various ways. This includes a language for Z transformations and
translations to Alloy and HOL.

Pour en savoir plus :
Séminaires
A Family of Tractable Graph Distances
Gestion de données du Web
Wednesday 04 July 2018 - 10h30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Optimisation combinatoire et stochastique
Friday 29 June 2018 - 11h00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................

Caractérisation de réseaux égocentrés par l'énumér
Friday 15 June 2018 - 14h30
Salle : 455 - PCRI-N
Raphaël Charbey .............................................

DATA VERACITY ASSESSMENT: HOW A-PRIORI KNOWLEDGE E
Intégration de données et de connaissances
Friday 15 June 2018 - 14h00
Salle : 445 - PCRI-N
Valentina Beretta .............................................