Категория: Блог

Уточняваме описанието на функциите на системата с помощта на диаграма Sequence

Уточняване на описанието на функциите на системата с помощта на диаграмата Sequence (продължение на «Белки») В тази статия ще разгледаме как можем да детализираме (уточним) описанието на автоматизирана функция с помощта на UML диаграма на последователност — диаграма Sequence. В този пример използвам средата Enterprise Architect от австралийската компания Sparx Systems [1]. Пълната спецификация на UML вижте тук [2]. Първо ще обясня какво ще […]

Тест: Как спазвате изискванията за обработка на лични данни?

Глобата за нарушение на закона за личните данни е до 75 000 рубли. Как да се защитите от нарушения при обработката на лични данни? Съобразили ли сте се с всички изисквания на закона? От 1 юли 2017 година глоби бяха увеличени и станаха зависими от вида нарушения. Да, мина доста време, но, както често се случва, особено в Русия, където […]

Windows 10 ще заема минимум 32 ГБ

Компания Microsoft обяви, че ще използва около 7 ГБ пространство на твърдия диск на потребителя за съхранение на файлове за актуализации. Предимството на този подход е, че той гарантира, че мястото няма да свърши по време на актуализацията. Недостатъкът е очевиден – на евтини таблети и лаптопи просто няма да има достатъчно място. Ако преди минималното изискване […]

Формална верификация на примера на задачата за вълка, козата и зелето

Според мен, в рускоязичния сектор на интернет темата за формалната верификация не е достатъчно разгледана, особено липсват прости и илюстративни примери. Ще дам такъв пример от чужд източник и ще допълня със собствено решение на известна задача за прехвърляне на вълка, козата и зелето на другия бряг на реката. Но първо накратко ще опиша какво представлява формалната верификация и защо […]

Статистика и мониторинг на PHP скриптове в реално време. ClickHouse и Grafana идват на помощ на Pinba.

В тази статия ще ви покажа как да използвате pinba в комбинация с clickhouse и grafana вместо pinba_engine и pinboard. На проекта на PHP, pinba е вероятно единственият надежден начин да разберете какво се случва с производителността. Всъщност, обикновено pinba се внедрява само когато вече се наблюдават проблеми и не е ясно "къде да търсите". Често никой няма представа колко пъти в секунда/минута се извиква […]

Търсим проблема не на това място

Това е малка история от реалната практика, когато малък проблем, добре маскиран от устойчивост, се превръща в главоболие. Малка диспозиция: Малък клон, в него има собствена АТС (asterisk + FreePBX) на базата на десктопен хардуер и такъв също местен терминален сървър с 1С, файло-хранилище и виртуален RO контролер на домейна. Интернетът се раздава от Mikrotik. Клонът е малък, за тях това е достатъчно. Всичко започна […]

Тестване на разделянето на основната система FreeBSD на пакети

Проектът TrueOS обяви началото на тестовете на експериментални версии на FreeBSD 12-STABLE и FreeBSD 13-CURRENT, в които монолитната базова система е преобразувана в набор от взаимосвързани пакети. Версиите се развиват в рамките на проекта pkgbase, който предоставя средства за употреба на стандартния пакетен мениджър pkg за управление на пакетите, образуващи базовата система. Доставката под формата на отделни пакети значително опростява процеса на обновление на базовата […]

Фондация Apache премести своите Git хранилища в GitHub

Фондът Apache съобщи за завършването на работата по интеграцията на своята инфраструктура с GitHub и прехвърлянето на всички свои git услуги на GitHub. Първоначално за разработка на проекти Apache бяха предложени две системи за контрол на версиите: централизирана система за управление на версиите Subversion и децентрализирана система Git. От 2014 година на GitHub бяха пуснати огледала на репозитории на Apache, налични в режим само за четене. Сега […]

Спокойно: настолните процесори Intel с десет ядра ще излязат в началото на следващата година

Презентация на Dell, на която известният холандски сайт се основава при описанието на близките планове на Intel за обявяване на нови процесори, първоначално фокусираше вниманието върху сегмента на мобилните и търговските продукти. Както правилно отбелязаха независими експерти, в потребителския сегмент графикът за излизане на нови продукти на Intel може да варира, и вчера този тезис намери потвърждение в нова публикация на страниците на сайта Tweakers.net. Заглавието на слайда […]

Недостигът на 14-нм процесори Intel постепенно ще намалява

Изпълнителният директор на Intel Робърт Суон (Robert Swan) на последната конференция за отчет на тримесечието по-често споменаваше дефицита на производствени мощности в контекста на увеличаването на разходите и преразпределението на асортимента от процесори в посока на по-скъпите модели с повече ядра. Подобни метаморфози позволиха на Intel през първото тримесечие да увеличи средната цена на продажба на процесор в мобилния сегмент с 13%. […]

Fenix заменя Firefox за Android

Компанията Mozilla разработва нов мобилен браузър, наречен Fenix. В бъдеще той ще бъде наличен в Google Play Store, заменяйки Firefox за Android. Освен това стана известно как ще протече преходът към новия браузър. Мрежови източници съобщават, че компанията Mozilla е взела решение относно бъдещето на браузъра Firefox за Android и […]

Открито е изтичане на над 2 милиона записи с паспортни данни на търговски платформи в Руската федерация

Около 2,24 млн. записи с паспортни данни, информация за заетостта на граждани на Руската федерация и номера на СНИЛС са на разположение в открит достъп. До този извод стигна председателят на Асоциацията на участниците на пазара на данни Иван Бегтин на основание на проведено изследване „Изтичане на лични данни от открити източници. електронни търговски платформи“. В изследването бяха анализирани данни от най-големите електронни търговски платформи в Русия, а […]

Купете надежден хостинг за сайтове със защита от DDoS, VPS и VDS сървъри 🔥 Купете надежден хостинг за сайтове със защита от DDoS, VPS и VDS сървъри | ProHoster