Объект-Z

Объект-Z ^[1] — это объектно-ориентированное расширение нотации Z, разработанное в Университете Квинсленда , Австралия .

Object-Z расширяет Z за счет добавления языковых конструкций, напоминающих объектно-ориентированную парадигму, в первую очередь классов . другие объектно-ориентированные понятия, такие как полиморфизм и наследование Также поддерживаются .

Несмотря на то, что Object-Z не так популярен, как его базовый язык Z, он все же получил значительное внимание в сообществе формальных методов , и исследования аспектов языка продолжаются, включая гибридные языки, использующие Object-Z. ^[2]^[3] поддержка инструментов (например, через проект Community Z Tools ) и уточнение вычислений . ^[4]

См. также

Я++

Ссылки

^ Смит, Грэм (2000). Язык спецификации Object-Z . Спрингер. ISBN 978-1-4615-5265-9 .
^ Махони, Б.; Донг, Джин Сон (февраль 2000 г.). «Временный коммуникативный объект Z». Транзакции IEEE по разработке программного обеспечения . 26 (2): 150–177. CiteSeerX 10.1.1.62.820 . дои : 10.1109/32.841115 .
^ Донг, Дж.С.; Дюк, Р.; Хао, П. (2005). «Интеграция Object-Z с временными автоматами». 10-я Международная конференция IEEE по проектированию сложных компьютерных систем (ICECCS'05) . стр. 488–497. CiteSeerX 10.1.1.62.793 . дои : 10.1109/ICECCS.2005.56 . ISBN 978-0-7695-2284-5 . S2CID 10062286 . {{cite book}}: |journal= игнорируется ( помогите )
^ Деррик, Джон; Бойтен, Эрке А. (2014). Уточнение в Z и Object-Z (2-е изд.). Спрингер. ISBN 978-1-4471-5355-9 .

Внешние ссылки

Послушайте эту статью ( 1 минута )

Этот аудиофайл был создан на основе редакции этой статьи от 19 ноября 2022 г. и не отражает последующие изменения.

Домашняя страница Object-Z
Проект Community Z Tools (CZT). Архивировано 1 июля 2004 г. на Wayback Machine.

Эта языкам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее .

[Object-Z_Reference_Manual-1] Смит, Грэм (2000). Язык спецификации Object-Z . Спрингер. ISBN 978-1-4615-5265-9 .

[2] Махони, Б.; Донг, Джин Сон (февраль 2000 г.). «Временный коммуникативный объект Z». Транзакции IEEE по разработке программного обеспечения . 26 (2): 150–177. CiteSeerX 10.1.1.62.820 . дои : 10.1109/32.841115 .

[3] Донг, Дж.С.; Дюк, Р.; Хао, П. (2005). «Интеграция Object-Z с временными автоматами». 10-я Международная конференция IEEE по проектированию сложных компьютерных систем (ICECCS'05) . стр. 488–497. CiteSeerX 10.1.1.62.793 . дои : 10.1109/ICECCS.2005.56 . ISBN 978-0-7695-2284-5 . S2CID 10062286 . {{cite book}}: |journal= игнорируется ( помогите )

[Object-Z_Refinement-4] Деррик, Джон; Бойтен, Эрке А. (2014). Уточнение в Z и Object-Z (2-е изд.). Спрингер. ISBN 978-1-4471-5355-9 .

[1]

[2]

[3]

[4]