文献

J-GLOBAL ID：202202229301732635   整理番号：22A0446541

金融規制とビジネスプラットフォームのための高保証ソフトウェア【JST・京大機械翻訳】

High Assurance Software for Financial Regulation and Business Platforms

著者 (5件)： Goldbaum Stephen (Morgan Stanley, New York, USA) ,  Mihaly Attila (Morgan Stanley, New York, USA) ,  Ellison Tosha (Fintech Open Source Foundation (FINOS), Burlingame, USA) ,  Barr Earl T. (University College London, London, UK) ,  Marron Mark (Microsoft Research, Redmond, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13182  ページ： 108-126  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 金融技術部門は,そのソフトウェアスタックにおけるコンプライアンスと保証ニーズの増加に取組むので,オープンソースと協調アプローチへの移動の転換を受けている。プログラミング言語と検証技術は,この変化の基礎部分である。この観点に基づいて,Morgan StanleyとGoldman Sachsからのリーダのコンソーシアム,Microsoft Researchの研究者,および大学ロンドン,Fintech Open Source Foundation(FINOS)からの支援により,オープンプログラミングスタックを構築し,これらの課題に対処した。結果として生じたスタック,Morphir,収束コア中間表現(IR),MorphirIR,は,主要な投資バンクでの使用における既存の言語のための適切なターゲットであり,形式的手法技術による分析に従う。本論文は,MorphirIR言語とより大きなMorphir生態系の設計を,それらが利益をいかにして,誤り検査とバグ発見のための形式的方法から利益を得るかを強調する。また,このシステムで働く初期経験,それにおける形式的検証を用いた経験を報告し,Fintechコミュニティに重要であり,研究コミュニティに関連すると信じる未解決問題を同定した。Copyright Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 言語 ,  投資 ,  プログラミング言語 ,  コミュニティ ,  *金融 ,  *ソフトウェア ,  生態系 ,  ソフトウェア障害
準シソーラス用語： ロンドン ,  中間言語 ,  形式的検証 ,  コンソーシアム ,  オープンソース ,  未解決問題 , 【Automatic Indexing@JST】

著者キーワード (3件)： Fintech ,  中間言語 ,  ソフトウェア保証

分類 (2件)： 計算機システム開発  (JD02010R) ,  オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (5件)： 金融規制 ,  ビジネス ,  プラットフォーム ,  保証 ,  ソフトウェア