(Last updated : 2019-08-01 17:59:21)
  Takeyama Makoto
   Kanagawa University  Faculty of Science Department of Information Sciences
■ Book and Papers
1. Book Open Systems Dependability: Dependability Engineering for Ever-Changing Systems, Second Edition    2015
2. Papers A modelling approach for system life cycles assurance  (Collaboration)  2019
3. Papers Assurance Case as a Proof in a Theory - towards formulation of rebuttals  (Collaboration)  2013
4. Papers Using a Proof Assistant to Construct Assurance Cases - Correctness by Construction (Fast abstract)  (Collaboration)  2012
5. Papers Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications  (Collaboration)  2010
All display(22)