Alloy

  • Хабрахабр

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

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

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

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

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

    Подробнее »


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