(Last updated : 2022-12-09 16:58:36)
  Takeyama Makoto
   Kanagawa University  Faculty of Science Department of Information Sciences
   Kanagawa University Graduate School  Graduate School of Science Course of Science (Field of Information Sciences)
■ Present specialized field
Theorem Proving Support Technology, System Assurance, Type Theory, Categorical Semantics 
■ 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)