List of Selected Publications


2010

  1. K. Taguchi, N. Yoshioka, T. Tobita, H. Kaneko: Aligning Security Requirements and Security Assurance Using the Common Criteria , in Proceedings of IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) '10, pp69-77, Singapore (2010)

2009

  1. T. Okubo, K. Taguchi, N. Yoshioka: Misuse cases + Assets + Security Goals, in Proceedings of IEEE International Conference on Computational Science and Engineering (CSE) '09, pp424-429, Vancouver (2009)
  2. F. Ishikawa, K. Taguchi, N. Yoshioka, S. Honiden: What Top-Level Engineers Tackle after Learning Formal Methods -Experiences from the Top SE Project, in Proceedings of Teaching Formal Methods (TFM) '09, LNCS 5846, Springer, pp57-71, Eindhoven (2009)
  3. F. Ishikawa, K. Taguchi, S. Honiden: How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project, in Proceedings of the 7th VDM-Overture Workshop '09, pp41-50, Eindhoven (2009)
  4. H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno: Model Checking Education for Software Engineers in Japan, in ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp45-50 (2009)
  5. Y. Tahara, N. Yoshioka, K. Taguchi, T. Aoki, S. Honiden: Evolution of a Course on Model Checking for Practical Applications, in ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp38-44 (2009)

2008

  1. Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi and Zian Zhang: Specifying and Verifying Sensor Networks: an Experiment of Formal Methods in Proceedings of the 10th International Conference on Formal Engineering Methods (ICFEM) '08, pp.318-337, LNCS5256, Springer (2008)
  2. Kenji Taguchi, Jin Song Dong: Formally specifying and verifying mobile agents - model checking mobility: The MobiOZ approach in International Journal of Agent-Oriented Software Engineering, Vol. 2:4 pp.449-474 (2008)
  3. Nakagawa, K. Taguchi, S. Honiden: Constructing Formal Specifications from Requirements Specifications based on Model Transformation in Journal of IPSJ Vol.49 No.7 pp.2304-2318 (2008)
  4. Kenji Taguchi and Yasuyuki Tahara: Curriculum design and methodology for security requirements analysis in Progress in Informatics, Special issue: The future of software engineering for security and privacy, No. 5, pp.19-34, (2008)
  5. Cyrille Artho, Kenji Taguchi, Y. Tahara, S. Honiden, Y. Tanabe: Teaching Software Model Checking in Proceedings of Workshop on Formal Methods in Computer Science Education (FORMED) '08, pp171-179 (2008)

2007

  1. S. Honiden, Y. Tahara, N. Yoshioka, K. Taguchi, H. Washizaki: TopSE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan in Proceedings of IEEE/ACM International Conference on Software Engineering (ICSE) '07, pp708-718 (2007)
  2. H. Nakagawa, K. Taguchi, S. Honiden: Formal Specification Generator for KAOS -Model Transformation Approach to Generate Formal Specificatiions from KAOS Requirements Models - in Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) '07 (Tool Demo), pp.531-532 (2007)
  3. T. Tsumaki, H. Kaiya, Y. Tahara, N. Yoshioka, K. Taguchi, S. Honiden: Errors and Misconceptions in Learning i* in the 2nd International Workshop on Requirements Engineering Education and Training (REET) '07 (2007)

2004

  1. K. Taguchi, J. S. Dong, G. Ciobanu: Relating pi-calculus to Object-Z in Proceedings of IEEE International Conference on Engineering Complex Computer Systems (ICECCS) '04, pp97-106 (2004)
  2. M. Kang, K. Taguchi: Modelling Mobile Agent Applications by Extended UML Activity Diagrams in Proceedings of International Conference on Enterprise Information System (ICEIS) '04, pp519-522 (2004)

2002

  1. K. Taguchi, J. S. Dong: An Overview of Mobile Object-Z in Proceedings of the 4th International Conference of Formal Engineering Methods (ICFEM), pp144-155, Oct (2002)

2001

  1. K. Taguchi: Integrating the Z Notation and Behavioural Formalisms Ph-D thesis, Dept. Information Science, Uppsala University, Feb (2001)

2000

  1. K-K. Lau, . J.K. Filipe, M. Ormaghi, K. Taguchi, H. Yatsu and A. Wills: Formal Specification of Catalysis Frameworks in Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC), IEEE, pp180-187, Dec (2000)

1999

  1. K. Araki, A. Galloway and K. Taguchi (editors): Proceedings of the first international conference on Integrated Formal Methods Springer (London) (1999)
  2. S. Takata, K. Taguchi, K. Joe, A. Fukuda: Specification and Verification of Memory Consistency Models for Shared-Memory Multiprocessor Systems in Transactions on Mathematical Modelling and Problem Solving, Information Processing Society of Japan, vol. 40, No. SIG2 (TOM1), pp33-44, Feb (1999)
  3. S. Takata, K. Taguchi, K. Joe, A. Fukuda: Implementation and Formal Specification of Release Consistency Models in Transactions on Mathematical Modelling and Problem Solving, Information Processing Society of Japan, vo. 40, No. SIG9 (TOM2), pp1-17, Dec (1999) (in Japanese)

1998

  1. S. Takata, K. Taguchi, K. Joe, A. Fukuda: Specification and Verification of Memory Consistency Models for Shared-Memory Multiprocessor Systems in Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA) '98, pp923-930 CSREA Press(1998)
  2. P. Yugopuspito, K. Taguchi, K. Araki: Formalizing IDEF1X in Z Specification in Proceedings of International Symposium on Future Software Technology (ISFST) '98, Software Engineers Association, pp15-20 (1998)
  3. K. Taguchi: An Introduction to Formal Methods for OO Engineers A Mini Tutorial given at National Symposium on Object-Orientation '98, in Proceedingss of OO Symposium'98, pp222-227, Asakura Shoten (in Japanese) (1998)
  4. K. Taguchi, K. Araki: A Calculus based on the Agent-Place Model in Proceedings of International Conference of Formal Engineering Methods (ICFEM) '98, IEEE, pp56-63 (1998)

1997

  1. K. Taguchi, K. Araki: The State-based CCS Semantics for Concurrent Z Specification in Proceedings of International Conference of Formal Engineering Methods (ICFEM), pp283-292, IEEE (1997)
  2. T. Tanaka, H-M. Chang, K. Taguchi, K. Araki: Formal Specification and Verification of Security Protocol in RSL in Proceedings of International Symposium on Future Software Technology (ISFST) '97, pp143-150, Software Engineers Association (1997)
  3. K. Taguchi, K. Araki: Specifying Concurrent Systems by Z + CCS in Proceedings of International Symposium on Future Software Technology (ISFST) '97, pp101-108, Software Engineers Association (1997)

1996

  1. K. Taguchi, K. Araki: Extending Z with State-Transition Constraintsin Proceedings of International Conference on Computer Software and Applications (COMPSAC), pp254-260, IEEE (1996)