|
(Last updated : 2022-12-09 16:58:36)
Kinoshita Yoshiki
Kanagawa University
Faculty of Informatics Department of Computer Science
Kanagawa University Graduate School
Graduate School of Science Course of Science (Field of Information Sciences)
Professor
|
|
■ Present specialized field
|
Program Semantics, Systems Assurance (Key Word：Programming Semantics, Programming Science, Programming Verification)
|
|
■ 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
|
■ Research Field
|
1.
|
2018/09
|
IEC 1906 award
|
|
