Езикът за програмиране TLA+ преминава от Microsoft към Linux, като получава собствена, отделна фондация, която да го популяризира, съобщава InfoWorld.

TLA+ е език от високо ниво за моделиране на програми и системи, особено едновременни и разпределени. TLA+ се използва успешно от компании за проверка на сложни софтуерни системи, като намалява грешките и подобрява надеждността. Езикът помага да се открият недостатъци в дизайна в ранна фаза на процеса на разработка, което от своя страна спестява време и ресурси.

TLA+ и неговите инструменти са полезни за отстраняване на основни грешки в проектирането, които трудно се откриват и коригират в кода. Езикът се основава на идеята, че най-добрият начин за точно описание на нещата е с помощта на проста математика.

Повече подробности около новината можете да прочетете на международното издание DevStyleR.IO – Linux Announces the Creation of the TLA+ Foundation