Увертюра и математический синтаксис
Можно ли использовать математический синтаксис VDM с Overture или он ограничен синтаксисом ASCII.
В качестве альтернативы, при генерации LaTeX, может ли математический синтаксис использоваться для вывода?
Я едва использовал LaTeX. Я попытался взять вывод ".tex" и заменить "forall" на "\forall" в файле TeX, затем заново сгенерировал PDF, но он просто вставил "\forall" в PDF. Я устал от '$\forall$' с тем же результатом.
Кстати, VDM и Overture в сочетании создают фантастическую среду для создания спецификаций.
1 ответ
Увы, нет, ни увертюра, ни VDMJ не могут использовать математические обозначения. Я полагаю, что VDMTools может, хотя (его симпатичная печать), но было бы довольно раздражающим переключаться между этими двумя только для этого. Было бы относительно легко добавить к Увертюре, но возможно ограниченного использования? Одна из вещей, которые я обнаружил за эти годы, состоит в том, что математические обозначения весьма неприятны для начинающих.
Ссылка ниже суммирует различия между Overture и VDMTools и упоминает симпатичный принтер: http://wiki.overturetool.org/index.php/Differences_between_Overture_and_VDMTools
Нам очень приятно слышать, что вы считаете Увертюру полезным. Если у вас есть какие-либо проблемы или предложения, свяжитесь с нами, и мы постараемся помочь - http://overturetool.org/.