AIST

center-name

 Research Highlights | Technical Reports | CVS Staff | Access | Inquiry | Home | AIST | Japanese

Programming Science Technical Report

Please contact us if you have any questions regarding the technical report(s) below by email.
TO: mail


2010     2008     2007     2006     2005      2004      2003      2002     2001     

2009

Number Auther / Title Date PDF

PS-2009-010 Keishi Okamoto, Makoto Takeyama Dec. pdf1.7MB
FM Approaches to Assurance cases

PS-2009-009 Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koichi Shinozaki, Koji Hayamizu, Kenji Taguchi, Fumihiro Kumeno Aug. pdf249KB
MCBOK2008:Model Cheking Body of Knowledge for software development (in Japanese)

PS-2009-008 Translation : Yoshiki Kinoshita, Yutaka Matsuno , Hiroki Takamura, Makoto Takeyama Aug. pdf2.1MB
Basic Concepts and Taxonomy of Dependable and Secure Computing (in both English and Japanese)

PS-2009-007 Yoshiki Kinoshita July pdf177KB
User Oriented Dependability

PS-2009-006 Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, and Makoto Takeyama July pdf116KB
Formalization of System LSI Specification and Automatic Generation of Verification Items

PS-2009-005 Yoshiki Kinoshita May pdf300KB
Fieldwork and the 4:6 Principle - introduction to the Research Center for Verification and Semantics, AIST

PS-2009-004 Research Center for Verification and Semantics May pdf1.29 MB
Case Studies in CVS/AIST 2008, rev. and extended ed.(in Japanese)

PS-2009-003 Research Center for Verification and Semantics May pdf2.93 MB
Research Report Collection for 2008 (in Japanese)

PS-2009-002 Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsuno May pdf560KB
Dependability Survey Trip Report 2009/2/22-2009/3/9 Newcastle, Edinburgh, York, Bath, London, UK (in Japanese)

PS-2009-001 Research Center for Verification and Semantics Feb. pdf4.7 MB
Proceedings of the 5th Symposium on Science and Technology for System Verification(SSV 2008) (in Japanese)


AIST > AIST organization > AIST laboratories > CVS
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.