Search this site
Embedded Files
Skip to main content
Skip to navigation
プログラミング科学研究所
HOME
Member
Research
研究プロジェクト一覧
プログラミング科学とは？
形式アシュランスケース
Agda言語
Publications
FFO Basic Pattern 1 公開ページ
平塚市提言書
2026-07
プログラミング科学研究所
HOME
Member
Research
研究プロジェクト一覧
プログラミング科学とは？
形式アシュランスケース
Agda言語
Publications
FFO Basic Pattern 1 公開ページ
平塚市提言書
2026-07
More
HOME
Member
Research
研究プロジェクト一覧
プログラミング科学とは？
形式アシュランスケース
Agda言語
Publications
FFO Basic Pattern 1 公開ページ
平塚市提言書
2026-07
OSD Life-Cycle Model: Accountability in a Bounded Life Cycle
20260702-OSD_LCM2026_en.pdf
Report abuse
Page details
Page updated
Report abuse
20260702-OSD_LCM2026_en.pdf