Concepedia

Kenji Taguchi

KT

8

Publications

155

Citations

8

H-Index

2002

Active since

Affiliations

The University of Tokyo(Current)

National Institute of Informatics

National Institute of Advanced Industrial Science and Technology

Kenji Taguchi is an author at The University of Tokyo specializing in systems engineering, engineering, and software analysis.

Top concepts

EngineeringSystems EngineeringSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSystem SoftwareSoftware Testing

Publications per year

2002–2013

8

Publications

8

The state-based CCS semantics for concurrent Z specification

Kenji Taguchi, K. Araki · 2002 · 46 citations

Formal Method, Concurrent Z Specification, Formal Specification +15

Formal specification generator for KAOS

Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden · 2007 · 23 citations

Software Maintenance, Engineering, Model Transformation Techniques +22

Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan

Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 21 citations

Software Maintenance, Software Development Practice, Engineering +26

Parameterised Argument Structure for GSN Patterns

Yutaka Matsuno, Kenji Taguchi · 2011 · 17 citations

Gsn Patterns, Engineering, Current Gsn +21

Building a Body of Knowledge on Model Checking for Software Development

Kenji Taguchi, H. Nishihara, Toshiaki Aoki et al. · 2013 · 13 citations

Software Maintenance, Engineering, Verification +24

Rows per page

1–5 of 8