• Проекты
  • Услуги
  • Блог
  • Доклады
  • Разработка ПО
  • Книги
  • Жизнь
  • На английском
  • Использование формальных методов в работе

    опубликовано 21 January 2022 с метками tlasoftwarefeed
    Перевод статьи Hillel Waine "Using Formal Methods At Work" с советами о том, как начать использовать формальные спецификации в работе.

    Читать →

  • Idiomatic TLA+

    опубликовано 11 April 2021 с метками softwaretlafeeden
    Usually programming idiom is a pattern, algorithm or a way of structuring code. To talk about programming idioms is to talk about those patterns that recur frequently in code or to propose new ones.

    Читать →

  • TLA+ on OpenBSD

    опубликовано 14 May 2020 с метками softwareopensourcetlaopenbsdopenbsd-enfeeden
    Couple years ago I decide to know more about TLA+. TLA+ is a tool for writing formal specifications, it allows to find errors in system's design before writing source code. Unfortunately maintainers builds packages for MacOS and Linux only and there is no packages for OpenBSD. TLA+ components written in Java programming language and in fact all of them should run on any platform where JVM is availaible. However TLA+ Toolbox built on top of Eclipse and OpenBSD port for it is outdated for a long time. This post about using TLA+ on OpenBSD without IDE.

    Читать →

Новые

  • Видео доклада "О чём я говорю, когда говорю о тестировании корректности работы компилятора" (30 Dec 2022)
  • Литературные часы (28 Dec 2022)
  • Тулинг для разработки на Lua (19 Aug 2022)
  • Вы можете тестировать быстрее (03 Jun 2022)
  • Печатаем документы, сгенерированные на Портале Госуслуг (18 May 2022)
  • Бекап для Github (28 Apr 2022)
  • Контроль качества в Open Source: опыт проекта CRIU (26 Apr 2022)
  • Всё, что вам нужно знать о форматах отчётов в тестировании ПО (25 Apr 2022)
  • Книга Олега Антонова "Десять раз сначала" (04 Mar 2022)
  • Использование формальных методов в работе (21 Jan 2022)
Все посты →
© 2013–2023, Сергей Бронников