После развития логики работами Буля, Гёделя, Моргана, Рассела, Лейбница и Фреге, на основе этой дисциплины создаётся новая — информатика. Языки программирования опираются на базовые законы и операции расширенной логики Аристотеля — предикатной логики, описательная…
Это обзорная статья, в которой очень поверхностно и не подробно рассказывается о том, что такое формальная верификация программного кода, зачем она нужна и чем она отличается от аудита и тестирования. Формальная верификация — это доказательство с использованием…
Анемичная модель предметной области (Anemic domain model) это такая модель, где сущности содержат только свойства, а бизнес-логика находится в сервисах. Ее противоположность это богатая модель предметной области (Rich domain model), где логика находится в сущностях, а cервиcы рекомендуют писать только в редких случаях.В этой статье я хочу показать, почему логика в сервисах является более правильным подходом. Мы рассмотрим пример бизнес-требований и их реализацию с Anemic domain model. Читать далее
Малая электронная счетная машина 4 декабря мы отмечаем День информатики в России. Но что это за праздник, как он появился? В этом интересно разобраться, если знать, что днем рождения российской информатики принято считать 4 декабря 1948 года — то есть за 14 лет до того момента, как…