D-Case Editor Information Download Papers
D-Case Editor is a typed assurance case editorﾂꀀ which has been implemented as an Eclipse plug-in using Eclipse GMF.
The key features are as follows.
・Supporting GSN (Goal Structuring Notation)
・GSN Pattern Library function and prototype Type Checking function
・Consistency Checking of D-Case description
・Goto Makoto Takeyama's D-Case/Agda Page
・Monitoring of target systems
・Goto Jin Nakazawa's D-Case EXP Page
・And more features are being developed
Information on Assurance Case, GSN, etc
Source code of D-Case Editor is available upon "a sub-licence agreement"
D-Case Editor Screen Shot
