最近、形式手法が気になって、Bメソッドを紹介している本を買ったわけなんですが、どうもBメソッドって、日本ではマイナーみたいですね。ちょっと調べると、VDMのほうはいっぱい見つかるし、適用事例もいろいろあるみたいですね。いくら、僕がフランス語を大…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。