Alloy

  • Хабрахабр

    [Из песочницы] Применение формальных методов валидации моделей для UI

    Привет, Хабр! Представляю вашему вниманию перевод статьи «FORMALLY SPECIFYING UIS» автора Hillel Wayne. От автора Относительно недавно я наткнулся на статью про Инженерные методы в разработке ПО, где vasil-sd рассказал про формальную валидацию спецификаций к создаваемым программным продуктам. В качестве инструментария был использован Alloy. Одним из основных лейтмотивов в комментариях был — разобрать статью в контексте какого-нибудь современного веб проекта,…

    Подробнее »
  • Хабрахабр

    Инженерный подход к разработке ПО

    Как сформулировать и проверить их свойства? Как проверить идеи, архитектуру и алгоритмы без написания кода? Требования и спецификации — пережиток прошлого? Что такое model-checkers и model-finders? Меня зовут Васил Дядов, сейчас я работаю программистом в Яндексе, до этого работал в Intel, ещё раньше разрабатывал RTL-код (register transfer level) на Verilog/VHDL для ASIC/FPGA. Привет. Давно увлекаюсь темой надёжности софта и аппаратуры,…

    Подробнее »
  • Хабрахабр

    [Перевод] Почему люди не используют формальные методы?

    На Software Engineering Stack Exchange я увидел такой вопрос: «Что мешает широкому внедрению формальных методов?» Вопрос был закрыт как предвзятый, а большинство ответов представляли собой комментарии типа «Слишком дорого!!!» или «Сайт — это не самолёт!!!» В каком-то смысле это верно, но мало что объясняет. Я написал эту статью, чтобы дать более широкую историческую картину формальных методов (FM), почему они на…

    Подробнее »


Кнопка «Наверх»
Закрыть