形式仕様の作成基盤「SpecForge」を公開
形式仕様を作成するためのプラットフォーム「SpecForge」が紹介された。
なぜ重要か
- •ソフトウェアやシステムの仕様を形式的に記述する基盤が示されている。
- •仕様作成を専門に扱うプラットフォームとして、開発工程への導入余地がある。
数字で見る
- •Hacker Newsのポイントは8
- •コメント数は0
転用先
原文概要
SpecForgeという形式仕様作成プラットフォームが、Hacker Newsで紹介された。記事へのポイントは8で、コメントは0件だった。