D-Case構文定義書を公開しました！

D-Case構文定義書を公開しました！この定義書は、D-Caseの構文定義であるだけでなく、アシュアランスケース、GSNに対する、世界初の（準）形式的な定義です。

D-Case Syntax Definition has been published!!  This definition is the world first (semi) formal definition of assurance cases and GSN (sorry only in Japanese :-).