モデリング言語「TLA+」の開発、普及を促進する非営利団体を設立：Linux Foundation：実務者コミュニティーの構築、発展も後押し

Linux Foundationは、非営利団体「TLA+ Foundation」の設立を発表した。TLA+ Foundationは、モデリング言語「TLA+」の開発と普及や、TLA+を利用する実務者コミュニティーの構築と発展を促進することを目的としている。

» 2023年04月27日 08時00分公開

[＠IT]

この記事は会員限定です。会員登録（無料）すると全てご覧いただけます。

　オープンソースソフトウェア（OSS）を通じたイノベーション促進を目指す非営利団体Linux Foundationは2023年4月21日（米国時間）、非営利団体「TLA+ Foundation」の設立を発表した。

　TLA+ Foundationは、モデリング言語「TLA+」の開発と普及や、TLA+を利用する実務者コミュニティーの発展を促進することを目的としている。設立メンバーは、Amazon Web Services（AWS）、Oracle、Microsoftだ。

　TLA+は、プログラムやシステム（特に、並行型、分散型の）をモデリングするための高水準言語だ。企業で複雑なソフトウェアシステムを検証し、エラーを減らして信頼性を高めるために使用され、成功を収めている。開発プロセスの早い段階で設計上の欠陥を検出し、時間とリソースを節約するのに役立つ。

#CmsMembersControl .CmsMembersControlIn {width:100%;background:url(https://image.itmedia.co.jp/images/spacer.gif) #DDD;opacity:0.05;filter:progid:DXImageTransform.Microsoft.Alpha(Enabled=1,Style=0,Opacity=5);z-index:1;}

続きを閲覧するには、ブラウザの JavaScript の設定を有効にする必要があります。

Linux FoundationがDBoM（デジタル部品表）プロジェクトを発表　サプライチェーン運用の一手となるか
Linux Foundationは2023年3月7日（米国時間）、Digital Bill of Materials（DBoM）プロジェクトの開始を発表した。
「非営利のOSS開発者や組織が法的、金銭的責任を負う恐れ」――Python Software Foundationが欧州の法案に懸念
Python Software Foundation（PSF）は、欧州議会で2022年に提案された2法案について、「PSFの使命とOSSコミュニティーの健全性を危険にさらす問題がある」との見解を公式ブログで発表した。
「Visual Studio Code」向け「Go」拡張機能のメンテナーがGoチームに変更
Microsoftの「Visual Studio Code」チームは、同エディタ向けの「Go」言語拡張機能について、メンテナーが新たにGoチームに変わったと発表した。