Hispanopedia WikiLa iniciativa Community Z Tools ( CZT ) se basa en un proyecto de SourceForge para crear un conjunto de herramientas para la notación Z , un método formal útil en ingeniería de software . Las herramientas incluyen soporte para editar, verificar tipos y animar especificaciones Z. También ofrecen soporte para extensiones como Object-Z y TCOZ . Están desarrolladas en el lenguaje de programación Java .
La CZT fue propuesta por Andrew Martin de la Universidad de Oxford en 2001. [ 1 ]
Referencias
- ↑ Martin, Andrew (25 de septiembre de 2001). "Propuesta: Proyecto de herramientas Z comunitarias (CZT)" . Reino Unido: Universidad de Oxford .
Enlaces externos
- Sitio web de CZT SourceForge
- Información sobre la iniciativa CZT por Andrew Martin
- Información de Softpedia
- CZT: Un marco de trabajo para herramientas Z por Petra Malik y Mark Utting ( PDF )
Categorías :
- Establecimientos en Inglaterra en 2001
- Software de 2001
- notación Z
- Proyectos de investigación
- Software libre programado en Java.
- Departamento de Informática, Universidad de Oxford
- Herramientas de programación informática