Follow
Kenji Taguchi
Kenji Taguchi
National Institute of Informatics
No verified email
Title
Cited by
Cited by
Year
The state-based CCS semantics for concurrent Z specification
K Taguchi, K Araki
First IEEE International Conference on Formal Engineering Methods, 283-292, 1997
891997
IFM’99: Integrated Formal Methods, York, UK
K Araki, A Galloway, K Taguchi
Springer-Verlag, June, 1999
78*1999
Specifying and verifying sensor networks: An experiment of formal methods
JS Dong, J Sun, J Sun, K Taguchi, X Zhang
Formal Methods and Software Engineering: 10th International Conference on …, 2008
412008
Parameterised argument structure for GSN patterns
Y Matsuno, K Taguchi
2011 11th International Conference on Quality Software, 96-101, 2011
382011
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models
H Nakagawa, K Taguchi, S Honiden
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007
342007
Top se: Educating superarchitects who can apply software engineering tools to practical development in japan
S Honiden, Y Tahara, N Yoshioka, K Taguchi, H Washizaki
29th International Conference on Software Engineering (ICSE'07), 708-718, 2007
332007
Modelling mobile agent applications in UML 2.0 activity diagrams
M Kang, L Wang, K Taguchi
Proc. of 3rd SELMAS Workshop at ICSE, 104-111, 2004
272004
Misuse cases+ assets+ security goals
T Okubo, K Taguchi, N Yoshioka
2009 International Conference on Computational Science and Engineering 3 …, 2009
262009
An overview of mobile Object-Z
K Taguchi, JS Dong
International Conference on Formal Engineering Methods, 144-155, 2002
242002
Modelling mobile agent applications by extended UML activity diagram
M Kang, K Taguchi
International Conference on Enterprise Information Systems 5, 519-522, 2004
222004
Aligning security requirements and security assurance using the common criteria
K Taguchi, N Yoshioka, T Tobita, H Kaneko
2010 Fourth International Conference on Secure Software Integration and …, 2010
202010
Relating/spl pi/-calculus to Object-Z
K Taguchi, JS Dong, G Ciobanu
Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004
182004
Safe & sec case patterns
K Taguchi, D Souma, H Nishihara
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015
172015
Building a body of knowledge on model checking for software development
K Taguchi, H Nishihara, T Aoki, F Kumeno, K Hayamizu, K Shinozaki
2013 IEEE 37th Annual Computer Software and Applications Conference, 784-789, 2013
162013
Formal specification of Catalysis frameworks
JK Filipe, KK Lau, M Omaghi, K Taguchi, H Yatsu, A Wills
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 …, 2000
162000
Linking traceability with GSN
K Taguchi, S Daisuke, H Nishihara, T Takai
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
132014
What top-level software engineers tackle after learning formal methods: experiences from the Top SE project
F Ishikawa, K Taguchi, N Yoshioka, S Honiden
Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009
132009
Specifying concurrent systems by Z+ CCS
K Taguchi, K Araki
Software Engineers Association, 1997
131997
Model checking education for software engineers in Japan
H Nishihara, K Shinozaki, K Hayamizu, T Aoki, K Taguchi, F Kumeno
ACM SIGCSE Bulletin 41 (2), 45-50, 2009
122009
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
J Romijn, G Smith, J Van De Pol, D Bert, E Boiten, J Bowen, M Butler, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2005
122005
The system can't perform the operation now. Try again later.
Articles 1–20