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 adición de construcciones de lenguaje que se asemejan al paradigma orientado a objetos , en particular, las clases . También admite otras nociones orientadas a objetos, como el polimorfismo y la herencia .

Aunque no es tan popular como su lenguaje base Z, Object-Z ha recibido una atención significativa en la comunidad de métodos formales , y la investigación sobre aspectos del lenguaje continúa, incluyendo 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

↑ Smith, Graeme (2000). El lenguaje de especificación Object-Z . Springer. ISBN 978-1-4615-5265-9.
↑ Mahony, B.; Dong, Jin Song (febrero de 2000). "Objeto Z de comunicación temporizada". IEEE Transactions on Software Engineering . 26 (2): 150– 177. CiteSeerX 10.1.1.62.820 . doi : 10.1109/32.841115 .
↑ 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) . págs. 488–497 . CiteSeerX 10.1.1.62.793 . doi : 10.1109/ICECCS.2005.56 . ISBN 978-0-7695-2284-5. S2CID 10062286 .
↑ Derrick, John; Boiten, Eerke A. (2014). Refinamiento en Z y Object-Z (2.ª ed.). Springer. ISBN 978-1-4471-5355-9.

Enlaces externos

Página principal de Object-Z
Proyecto Community Z Tools (CZT) archivado el 1 de julio de 2004 en Wayback Machine.

[Object-Z_Reference_Manual-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 de 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) . págs. 488–497 . CiteSeerX 10.1.1.62.793 . doi : 10.1109/ICECCS.2005.56 . ISBN 978-0-7695-2284-5. S2CID 10062286 .

[Object-Z_Refinement-4] Derrick, John; Boiten, Eerke A. (2014). Refinamiento en Z y Object-Z (2.ª ed.). Springer. ISBN 978-1-4471-5355-9.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

Véase también

Referencias

Enlaces externos

Articulos relacionados