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
801997
IFM’99: Integrated Formal Methods, York, UK
K Araki, A Galloway, K Taguchi
Springer-Verlag, June, 1999
73*1999
Specifying and verifying sensor networks: An experiment of formal methods
JS Dong, J Sun, J Sun, K Taguchi, X Zhang
International Conference on Formal Engineering Methods, 318-337, 2008
372008
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 twenty-second IEEE/ACM international conference on …, 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
342007
Parameterised argument structure for GSN patterns
Y Matsuno, K Taguchi
2011 11th International Conference on Quality Software, 96-101, 2011
292011
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
262004
Misuse cases+ assets+ security goals
T Okubo, K Taguchi, N Yoshioka
2009 International Conference on Computational Science and Engineering 3 …, 2009
252009
Modelling Mobile Agent Applications by Extended UML Activity Diagram.
M Kang, K Taguchi
ICEIS (4), 519-522, 2004
222004
IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
K Araki, A Galloway, K Taguchi
Springer Science & Business Media, 2012
212012
An overview of mobile Object-Z
K Taguchi, JS Dong
International Conference on Formal Engineering Methods, 144-155, 2002
212002
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
182010
Relating/spl pi/-calculus to Object-Z
K Taguchi, JS Dong, G Ciobanu
Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004
172004
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
142000
What top-level software engineers tackle after learning formal methods: Experiences from the top se project
F Ishikawa, K Taguchi, N Yoshioka, S Honiden
International Conference on Technical Formal Methods, 57-71, 2009
132009
Specifying concurrent systems by Z+ CCS
K Taguchi, K Araki
Software Engineers Association, 1997
131997
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
122013
Safe & sec case patterns
K Taguchi, D Souma, H Nishihara
International Conference on Computer Safety, Reliability, and Security, 27-37, 2014
112014
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
112009
Masg: Advanced misuse case analysis model with assets and security goals
T Okubo, K Taguchi, H Kaiya, N Yoshioka
Journal of information processing 22 (3), 536-546, 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20