文献

J-GLOBAL ID：202202291296734078   整理番号：22A0027759

Dafnyにおける形式的プログラム設計の教訓【JST・京大機械翻訳】

Lessons of Formal Program Design in Dafny

著者 (1件)： Ettinger Ran (Ben-Gurion University of the Negev, Beer Sheva, Israel)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13122  ページ： 84-100  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： プログラム導出の長い伝統に基づいて,形式的仕様から出発し,正確な実行可能コードでエンドアップし,ここでは,言語と検証者Dafnyを用いた工芸の教育のためのアプローチを示した。教室における生活対話型セッション中のDafny使用のメリット(および課題)を強調して,この材料を最終年CSおよびSE学部学生に教育する最初の6年間のいくつかの教訓を報告した。Copyright Springer Nature Switzerland AG 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 言語 ,  *プログラム設計 ,  形式的仕様
準シソーラス用語： 対話型 , 【Automatic Indexing@JST】

著者キーワード (4件)： 精密化法則 ,  仕様書記 ,  自己能動的検証 ,  挿入ソート

分類 (3件)： 応用プログラミング言語  (JD03052Y) ,  計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (2件)： 設計 ,  教訓