(Last updated : 2020-05-18 13:48:52)
  Kinoshita Yoshiki
   Kanagawa University  Faculty of Science Department of Information Sciences
   Professor
■ Book and Papers
1. Papers A Modelling Approach for System Life Cycles Assurance  (Collaboration)  2019/09
2. Papers A Thought Experiment on Evolution of Assurance Cases - from a Logical Aspect  (Collaboration)  2019/09
3. Papers Category theoretic structure of setoids  (Collaboration)  2014/08
4. Other Argument for Agreement and Assurance (AAA)  (Collaboration)  2014/04
■ Belonging society
1. 2002/04~ Information Processing Society of Japan
2. 1987/10~ Japan Society for Software Science and Technology
■ Research topic, funded research, and department laboratory expense
1. 2018/09~2019/12  Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (TIGARS)  (Key Word : assurance, dependability, autonomous system)
2. 2008/10~2014/03  Study on user-oriented dependability  (Key Word : dependability, standard, open systems)
3. 2014/06~2016/02  Formal assurance case Framework for Open systems dependability  (Key Word : assurance case, formal assurance case, dependability, open systems dependability)
4. 2016/04~  Open systems dependability 
■ Committee and society
1. 2012/10~ convenor
2. 2016/06~2019/03 ISO/IEC JTC 1/SC 7/WG 7 Project leader, ISO/IEC/IEEE 15026-1 Systems and software assurance Part 1: Concepts and vocabulary
3. 2014/02~ DEOS Consortium Standardization SG
4. 2018/06~ DEOS Consortium trustee
■ E-Mail Address
  kyoin_mail
■ Research Field
1. 2018/09 IEC 1906 award
■ Present specialized field
Program Semantics, Systems Assurance (Key Word:Programming Semantics, Programming Science, Programming Verification)