PBDoom
PBDoom — это порт видеоигры Doom (1993) для устройств PocketBook на электронной бумаге. Загрузки находятся на официальном сайте PBDoom.
Привет! Меня зовут Ильгиз.
Я аспирант в области программной инженерии в Constructor Institute of Technology, Шаффхаузен, Швейцария.
Я исследую верификацию программ. Работаю над AutoProof и другими инструментами, которые используют формальные методы, для языка программирования Эйфель.
Новые записи в блоге
-
-
EiffelStudio Assertions Setting
EiffelStudio allows to control which assertions will be evaluated. We build a cheatshseet listing which contracts are checked for each setting.
-
Оптимизация БД Heroku Postgres для бесплатного использования
Оптимизация схемы реляционной базы данных для соответствия бесплатному уровню Heroku Postgres на примере приложения SIBrowser.
Новые проекты
-
PBDoom
PBDoom — это порт видеоигры Doom (1993) для устройств PocketBook на электронной бумаге. Загрузки находятся на официальном сайте PBDoom.