Objeto-Z

Object-Z ^[1] es una extensión orientada a objetos de la notación Z desarrollada en la Universidad de Queensland , Australia .

Object-Z extiende Z mediante la incorporación de construcciones del lenguaje que se asemejan al paradigma orientado a objetos , en particular, las clases . También se admiten otras nociones orientadas a objetos, como el polimorfismo y la herencia .

Si bien no es tan popular como su lenguaje base Z, Object-Z aún ha recibido una atención significativa en la comunidad de métodos formales , y se están realizando investigaciones sobre aspectos del lenguaje, incluidos lenguajes híbridos que utilizan Object-Z, ^{[2] [3]} soporte de herramientas (por ejemplo, a través del proyecto Community Z Tools ) y cálculos de refinamiento . ^[4]

Véase también

• Z++

Referencias

1. Smith, Graeme (2000). El lenguaje de especificación Object-Z. Springer. ISBN 978-1-4615-5265-9.
2. Mahony, B.; Dong, Jin Song (febrero de 2000). "Objeto Z con comunicación temporizada". IEEE Transactions on Software Engineering . 26 (2): 150–177. CiteSeerX 10.1.1.62.820 . doi :10.1109/32.841115. 
3. Dong, JS; Duke, R.; Hao, P. (2005). "Integración de Object-Z con autómatas temporizados". 10.ª Conferencia internacional IEEE sobre ingeniería de sistemas informáticos complejos (ICECCS'05) . pp. 488–497. CiteSeerX 10.1.1.62.793 . doi :10.1109/ICECCS.2005.56. ISBN.  978-0-7695-2284-5.S2CID10062286  .​ {{cite book}}: |journal=ignorado ( ayuda )
4. Derrick, John; Boiten, Eerke A. (2014). Refinamiento en Z y Object-Z (2.ª ed.). Springer. ISBN 978-1-4471-5355-9.

Enlaces externos

Escucha este artículo ( 1 minuto )

Este archivo de audio se creó a partir de una revisión de este artículo con fecha del 19 de noviembre de 2022 y no refleja ediciones posteriores. ( 19/11/2022 )

( Ayuda de audio  · Más artículos hablados )

• La página de inicio de Object-Z
• Proyecto Community Z Tools (CZT) Archivado el 1 de julio de 2004 en Wayback Machine.