New!! 2014/04/28
A paper on design and implementation of D-Case (GSN) has been accepted to IEEE/IFIP DSN 2014.
Yutaka Matsuno, A Design and Implementation of an Assurance Case Language.
In proc. of IEEE/IFIP DSN 2014, 12 pages, Atlanta, USA, June 23-26,2014
2013/09/28
4th D-Case Study Schedule click here.
2013/09/26
4th D-Case Study will be held on the 22nd of October at the Axe Seminar room, Kyoto.To apply click Here.
2013/09/09
For the power point slides relating to DEOS and D-Case, used by Mr.Makoto at the DEOS seminar (4/19 sponsored by Axe), click here.
2013/08/30
For the D-Case beginner`s guide power point slides (sponsored by CATS) click here.
2013/08/25
D-Case beginner`s guide seminar (sponsored by CATS) ended with favourable responses.For questionnaire results click Here.
2013/07/05
D-Case beginner`s guide seminar (sponsored by CATS) will be held on 7/31(wed) at Shin-Yokohama.For details click Here.
2013/04/23
Uploaded the presentation slides used at the 3rd Proof Evaluation Research Conference.Vigorous discussions were held with over 60 participants.
実践D-Casewas published on demand.
2013/04/08
3rd Proof Evaluation Research Conference will be held at the Keio University, Hiyoshi Campus on the 19th of April.
D-Case Committee members renewed.
D-Case Study
Starting September 2012, D-Case Study will work towards
contributing to the improvement of knowledge and technology relating to dependability.
The Objective of D-Case Study
● D-Case Application Support Technology Research
● Evaluation and Testing of the D-Case Integrated Environment
D-Case Short Courses
A several D-Case short courses will be held parallel with the D-Case Study. Please feel free to contact us for details on on-site courses.
The Objective of D-Case Short Courses
● Dependability Education and Training