Assessing Security and Privacy Behavioural Risks for Self-Protection Systems.

Tetsuo Tamai Yijun Yu 0001 Nobukazu Yoshioka Tetsuo Tamai Assessing Security and Privacy Behavioural Risks for Self-Protection Systems. 135-147 2019 Engineering Adaptive Software Systems https://doi.org/10.1007/978-981-13-2185-6_6 books/sp/YB2019 db/books/collections/YB2019.html#YuYT19 Tetsuo Tamai Key Software Engineering Paradigms and Modeling Methods. 349-374 2019 Handbook of Software Engineering https://doi.org/10.1007/978-3-030-00262-6_9 books/sp/CTK2019 db/books/collections/CTK2019.html#Tamai19 Yijun Yu 0001 Arosha K. Bandara Shinichi Honiden Zhenjiang Hu 0002 Tetsuo Tamai Hausi A. Müller John Mylopoulos Bashar Nuseibeh Engineering Adaptive Software Systems - Communications of NII Shonan Meetings Engineering Adaptive Software Systems Springer 2019 978-981-13-2184-9 978-981-13-2185-6 https://doi.org/10.1007/978-981-13-2185-6 db/books/collections/YB2019.html Tetsuo Tamai Taichi Anzai Quality Requirements Analysis with Machine Learning. 241-248 2018 ENASE https://doi.org/10.5220/0006694502410248 conf/enase/2018 db/conf/enase/enase2018.html#TamaiA18

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Tetsuo Tamai Context-Oriented Software Development with Generalized Layer Activation Mechanism. 3-40 2016 1 LNCS Trans. Modul. Compos. https://doi.org/10.1007/978-3-319-46969-0_1 journals/taosd/2016-1 db/journals/taosd/mod1.html#KaminaAMT16

Tetsuo Tamai Product-centered view vs process-centered view. 18-21 2016 SPLC https://doi.org/10.1145/2934466.2971318 conf/splc/2016 db/conf/splc/splc2016.html#Tamai16 Tetsuo Tamai Software Engineering View of a Large-Scale System Failure and the Following Lawsuit. 18-24 2015 SER&IP@ICSE https://doi.org/10.1109/SERIP.2015.12 http://dl.acm.org/citation.cfm?id=2821394 conf/icse/2015serip db/conf/icse/serip2015.html#Tamai15

Tetsuo Tamai Hausi A. Müller Bashar Nuseibeh Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11). 2015 2015 NII Shonan Meet. Rep. https://shonan.nii.ac.jp/seminars/052/ db/journals/shonan-reports/shonan-reports2015.html#TamaiMN15

Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Tetsuo Tamai Context-oriented software engineering: a modularity vision. 85-98 2014 MODULARITY https://doi.org/10.1145/2577080.2579816 conf/aosd/2014 db/conf/aosd/modularity2014.html#KaminaAMT14 Tetsuo Tamai Supasit Monpratarnchai A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems. 103-110 2014 APSEC (1) https://doi.org/10.1109/APSEC.2014.25 conf/apsec/2014-1 db/conf/apsec/apsec2014-1.html#TamaiM14

Shaoying Liu Tetsuo Tamai Shin Nakajima 0001 A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. 259-288 2011 21 Int. J. Softw. Eng. Knowl. Eng. 2 https://doi.org/10.1142/S0218194011005268 db/journals/ijseke/ijseke21.html#LiuTN11

Tsutomu Kumazawa Tetsuo Tamai Counterexample-Based Error Localization of Behavior Models. 222-236 2011 NASA Formal Methods https://doi.org/10.1007/978-3-642-20398-5_17 conf/nfm/2011 db/conf/nfm/nfm2011.html#KumazawaT11 Naoyasu Ubayashi Yasutaka Kamei Masayuki Hirayama Tetsuo Tamai A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. 143-152 2011 RE https://doi.org/10.1109/RE.2011.6051648 https://doi.ieeecomputersociety.org/10.1109/RE.2011.6051648 conf/re/2011 db/conf/re/re2011.html#UbayashiKHT11 Naoyasu Ubayashi Jun Nomura Tetsuo Tamai Archface: a contract place where architectural design and code meet together. 75-84 2010 ICSE (1) https://doi.org/10.1145/1806799.1806815 conf/icse/2010-1 db/conf/icse/icse2010-1.html#UbayashiNT10 Takako Nakatani Toshihiko Tsumaki Tetsuo Tamai Requirements engineering education for senior engineers: Course design and its evaluation. 26-35 2010 REET https://doi.org/10.1109/REET.2010.5633111 https://doi.ieeecomputersociety.org/10.1109/REET.2010.5633111 conf/re/2010reet db/conf/re/reet2010.html#NakataniTT10

Tetsuo Tamai Social Impact of Information System Failures. 58-65 2009 42 Computer 6 https://doi.org/10.1109/MC.2009.199 http://doi.ieeecomputersociety.org/10.1109/MC.2009.199 db/journals/computer/computer42.html#Tamai09

Tetsuo Tamai Introduction to the RE'08 special issue. 229-230 2009 14 Requir. Eng. 4 https://doi.org/10.1007/s00766-009-0085-9 db/journals/re/re14.html#Tamai09

Tetsuo Kamina Tetsuo Tamai Towards safe and flexible object adaptation. 4:1-4:6 2009 COP@ECOOP https://doi.org/10.1145/1562112.1562116 conf/ecoop/2009cop db/conf/ecoop/cop2009.html#KaminaT09 Yi Wang Tetsuo Tamai A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process. 26-35 2009 NASA Formal Methods conf/nfm/2009 db/conf/nfm/nfm2009.html#WangT09 Shaoying Liu Tetsuo Tamai Shin Nakajima 0001 Integration of formal specification, review, and testing for software component quality assurance. 415-421 2009 SAC https://doi.org/10.1145/1529282.1529375 conf/sac/2009 db/conf/sac/sac2009.html#LiuTN09 Tsutomu Kumazawa Tetsuo Tamai Iterative Model Fixing with Counterexamples. 369-376 2008 APSEC https://doi.org/10.1109/APSEC.2008.13 https://doi.ieeecomputersociety.org/10.1109/APSEC.2008.13 conf/apsec/2008 db/conf/apsec/apsec2008.html#KumazawaT08 Tetsuo Kamina Tetsuo Tamai Lightweight dependent classes. 113-124 2008 GPCE https://doi.org/10.1145/1449913.1449932 conf/gpce/2008 db/conf/gpce/gpce2008.html#KaminaT08 Naoyasu Ubayashi Jinji Piao Suguru Shinotsuka Tetsuo Tamai Contract-Based Verification for Aspect-Oriented Refactoring. 180-189 2008 ICST https://doi.org/10.1109/ICST.2008.36 https://doi.ieeecomputersociety.org/10.1109/ICST.2008.36 conf/icst/2008 db/conf/icst/icst2008.html#UbayashiPST08 Naoyasu Ubayashi Genya Otsubo Kazuhide Noda Jun Yoshida Tetsuo Tamai AspectM: UML-Based Extensible AOM Language. 501-502 2008 ASE https://doi.org/10.1109/ASE.2008.91 https://doi.ieeecomputersociety.org/10.1109/ASE.2008.91 conf/kbse/2008 db/conf/kbse/ase2008.html#UbayashiONYT08 Naoyasu Ubayashi Yuki Sato Akihiro Sakai Tetsuo Tamai Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. 171-178 2008 SERA https://doi.org/10.1109/SERA.2008.12 https://doi.ieeecomputersociety.org/10.1109/SERA.2008.12 conf/sera/2008 db/conf/sera/sera2008.html#UbayashiSST08 Supasit Monpratarnchai Tetsuo Tamai The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ. 269-276 2008 SNPD https://doi.org/10.1109/SNPD.2008.103 https://doi.ieeecomputersociety.org/10.1109/SNPD.2008.103 conf/snpd/2008 db/conf/snpd/snpd2008.html#MonpratarnchaiT08 Naoyasu Ubayashi Akihiro Sakai Tetsuo Tamai An interface mechanism for encapsulating weaving in class-based AOP. 8 2007 SPLAT https://doi.org/10.1145/1233843.1233851 conf/aosd/2007splat db/conf/aosd/splat2007.html#UbayashiST07 Tetsuo Kamina Tetsuo Tamai Lightweight scalable components. 145-154 2007 GPCE https://doi.org/10.1145/1289971.1289996 conf/gpce/2007 db/conf/gpce/gpce2007.html#KaminaT07 Naoyasu Ubayashi Akihiro Sakai Tetsuo Tamai An aspect-oriented weaving mechanism based on component and connector architecture. 154-163 2007 conf/kbse/2007 ASE https://doi.org/10.1145/1321631.1321656 db/conf/kbse/ase2007.html#UbayashiST07 Mayumi Kamata-Itakura Tetsuo Tamai How Does Requirements Quality Relate to Project Success or Failure? 69-78 2007 RE https://doi.org/10.1109/RE.2007.31 https://doi.ieeecomputersociety.org/10.1109/RE.2007.31 conf/re/2007 db/conf/re/re2007.html#KamataT07

Naoyasu Ubayashi Tetsuo Tamai Shinji Sano Yusaku Maeno Satoshi Murakami Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. 93- 2006 1 Int. Trans. Syst. Sci. Appl. 1 db/journals/itssa/itssa1.html#UbayashiTSMM06

Toshihiko Tsumaki Tetsuo Tamai Framework for matching requirements elicitation techniques to project characteristics. 505-519 2006 11 Softw. Process. Improv. Pract. 5 https://doi.org/10.1002/spip.293 db/journals/sopr/sopr11.html#TsumakiT06

Shin Nakajima 0001 Tetsuo Tamai Formal specification and analysis of JAAS framework. 59-64 2006 SESS@ICSE https://doi.org/10.1145/1137627.1137637 conf/icse/2006sess db/conf/icse/sess2006.html#NakajimaT06 Shin Nakajima 0001 Tetsuo Tamai Aspect-oriented software design with a variant of UML/STD. 44-50 2006 conf/scesm/2006 SCESM https://doi.org/10.1145/1138953.1138963 db/conf/scesm/scesm2006.html#NakajimaT06 Naoyasu Ubayashi Tetsuo Tamai Shinji Sano Yusaku Maeno Satoshi Murakami Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. 4-10 2006 conf/seke/2006 SEKE db/conf/seke/seke2006.html#UbayashiTSMM06 Tetsuo Tamai Naoyasu Ubayashi Ryoichi Ichiyama Objects as Actors Assuming Roles in the Environment. 185-203 2006 conf/selmas/2006 SELMAS (LNCS) https://doi.org/10.1007/978-3-540-73131-3_11 db/conf/selmas/selmas2006.html#TamaiUI06

Tetsuo Kamina Tetsuo Tamai Flexible Method Combination based on Mixin Subtyping. 95-115 2005 4 J. Object Technol. 10 https://doi.org/10.5381/jot.2005.4.10.a5 db/journals/jot/jot4.html#KaminaT05

Naoyasu Ubayashi Tetsuo Tamai Concern management for constructing model compilers. 1-5 2005 30 ACM SIGSOFT Softw. Eng. Notes 4 https://doi.org/10.1145/1082983.1083127 https://www.wikidata.org/entity/Q122500115 db/journals/sigsoft/sigsoft30.html#UbayashiT05

Naoyasu Ubayashi Tetsuo Tamai Shinji Sano Yusaku Maeno Satoshi Murakami Model Compiler Construction Based on Aspect-Oriented Mechanisms. 109-124 2005 conf/gpce/2005 GPCE https://doi.org/10.1007/11561347_9 db/conf/gpce/gpce2005.html#UbayashiTSMM05 Tetsuo Tamai Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. 261-272 2005 conf/iceccs/2005 ICECCS https://doi.org/10.1109/ICECCS.2005.27 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2005.27 db/conf/iceccs/iceccs2005.html#Tamai05 Naoyasu Ubayashi Tetsuo Tamai Concern management for constructing model compilers. 5:1-5:5 2005 MACS@ICSE https://doi.org/10.1145/1083125.1083127 conf/icse/2005macs db/conf/icse/macs2005.html#UbayashiT05 Tetsuo Tamai A Pedagogical View on Software Modeling and Graph-Structured Diagrams. 59-70 2005 conf/icse/2005edu Software Education and Training Sessions @ ICSE https://doi.org/10.1007/11949374_4 db/conf/icse/icse2005edu.html#Tamai05a Tetsuo Tamai Naoyasu Ubayashi Ryoichi Ichiyama An adaptive object model with dynamic role binding. 166-175 2005 conf/icse/2005 ICSE https://doi.org/10.1145/1062455.1062498 https://doi.org/10.1109/ICSE.2005.1553559 https://doi.ieeecomputersociety.org/10.1109/ICSE.2005.1553559 db/conf/icse/icse2005.html#TamaiUI05 Tetsuo Tamai How to teach software modeling. 609-610 2005 conf/icse/2005 ICSE https://doi.org/10.1145/1062455.1062564 https://doi.org/10.1109/ICSE.2005.1553610 https://doi.ieeecomputersociety.org/10.1109/ICSE.2005.1553610 db/conf/icse/icse2005.html#Tamai05 Hideaki Shinomi Tetsuo Tamai Impact Analysis of Weaving in Aspect-Oriented Programming. 657-660 2005 conf/icsm/2005 ICSM https://doi.org/10.1109/ICSM.2005.51 https://doi.ieeecomputersociety.org/10.1109/ICSM.2005.51 db/conf/icsm/icsm2005.html#ShinomiT05 Naoyasu Ubayashi Shinji Sano Yusaku Maeno Satoshi Murakami Tetsuo Tamai Model Evolution with Aspect-Oriented Mechanisms. 187-194 2005 conf/iwpse/2005 IWPSE https://doi.org/10.1109/IWPSE.2005.24 https://doi.ieeecomputersociety.org/10.1109/IWPSE.2005.24 db/conf/iwpse/iwpse2005.html#UbayashiSMMT05 Naoyasu Ubayashi Genki Moriyama Hidehiko Masuhara Tetsuo Tamai A parameterized interpreter for modeling different AOP mechanisms. 194-203 2005 conf/kbse/2005 ASE https://doi.org/10.1145/1101908.1101938 db/conf/kbse/ase2005.html#UbayashiMMT05 Tetsuo Kamina Tetsuo Tamai Selective method combination in mixin-based composition. 1269-1273 2005 conf/sac/2005 SAC https://doi.org/10.1145/1066677.1066965 db/conf/sac/sac2005.html#KaminaT05 Tetsuo Kamina Tetsuo Tamai McJava - A Design and Implementation of Java with Mixin-Types. 398-414 https://doi.org/10.1007/978-3-540-30477-7_27 2004 conf/aplas/2004 APLAS db/conf/aplas/aplas2004.html#KaminaT04 Naoyasu Ubayashi Hidehiko Masuhara Tetsuo Tamai An AOP Implementation Framework for Extending Join Point Models. 71-81 2004 conf/ecoop/2004ramse RAM-SE http://www.disi.unige.it/person/CazzolaW/RAM-SE04%20Proceedings/Ubayashi%2C%20Masuhara%20and%20Tamai.pdf db/conf/ecoop/ramse2004.html#UbayashiMT04 Tetsuo Kamina Tetsuo Tamai Loosely Connected RPC: An Approach for Extendable Interface of Web Services. 62-73 2003 conf/wsmai/2003 WSMAI db/conf/wsmai/wsmai2003.html#KaminaT03

Naoyasu Ubayashi Tetsuo Tamai Modeling collaborations among objects that change their roles dynamically and its modularization mechanism. 51-63 2002 33 Syst. Comput. Jpn. 5 https://doi.org/10.1002/scj.1127 db/journals/scjapan/scjapan33.html#NaoyasuT02

Naoyasu Ubayashi Tetsuo Tamai Aspect-oriented programming with model checking. 148-154 2002 conf/aosd/2002 AOSD https://doi.org/10.1145/508386.508405 db/conf/aosd/aosd2002.html#UbayashiT02 Tetsuo Kamina Tetsuo Tamai Embedding XML Processing Toolkit on General Purpose Programming Language. 159-166 2002 conf/apsec/2002 APSEC https://doi.org/10.1109/APSEC.2002.1182985 https://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182985 db/conf/apsec/apsec2002.html#KaminaT02 Tetsuo Tamai Process of Software Evolution. 8-15 2002 conf/cw/2002 CW https://doi.org/10.1109/CW.2002.1180854 https://doi.ieeecomputersociety.org/10.1109/CW.2002.1180854 db/conf/cw/cw2002.html#Tamai02 Tetsuo Tamai Evolvable programming based on collaboration-field and role model. 1-5 2002 IWPSE https://doi.org/10.1145/512035.512037 conf/iwpse/2002 db/conf/iwpse/iwpse2002.html#Tamai02 Tetsuo Tamai Takako Nakatani Analysis of software evolution processes using statistical distribution Models. 120-123 2002 IWPSE https://doi.org/10.1145/512035.512063 conf/iwpse/2002 db/conf/iwpse/iwpse2002.html#TamaiN02 Takako Nakatani Tetsuya Urai Sou Ohmura Tetsuo Tamai A Requirements Description Metamodel for Use Cases. 251-258 2001 conf/apsec/2001 APSEC https://doi.org/10.1109/APSEC.2001.991485 https://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991485 db/conf/apsec/apsec2001.html#NakataniUOT01 Yoshihiro Matsumoto Yoshihiro Akiyama Osamu Dairiki Tetsuo Tamai A Case of Software Engineering Accreditation. 201- 2001 conf/csee/2001 CSEE&T https://doi.org/10.1109/CSEE.2001.913845 https://doi.ieeecomputersociety.org/10.1109/CSEE.2001.913845 db/conf/csee/csee2001.html#MatsumotoADT01 Naoyasu Ubayashi Tetsuo Tamai Separation of Concerns in Mobile Agent Applications. 89-109 2001 conf/reflection/2001 Reflection https://doi.org/10.1007/3-540-45429-2_7 db/conf/reflection/reflection2001.html#UbayashiT01 Shin Nakajima 0001 Tetsuo Tamai Behavioural Analysis of the Enterprise JavaBeans<sup>TM</sup> Component Architecture. 163-182 2001 conf/spin/2001 SPIN https://doi.org/10.1007/3-540-45139-0_10 https://dl.acm.org/doi/10.5555/380921.380936 db/conf/spin/spin2001.html#NakajimaT01 Tetsuo Tamai Proceedings of the 4th International Workshop on Principles of Software Evolution, IWPSE 2001, Vienna, Austria, September 10-11, 2001 IWPSE ACM 2001 978-1-58113-508-4 https://doi.org/10.1145/602461 db/conf/iwpse/iwpse2001.html

Takako Nakatani Tetsuo Tamai Organizing process of objects viewed in multiple perspectives. 1-10 2000 31 Syst. Comput. Jpn. 3 https://doi.org/10.1002/(SICI)1520-684X(200003)31:3<1::AID-SCJ1>3.0.CO;2-O db/journals/scjapan/scjapan31.html#NakatanaiT00

Tetsuo Tamai Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. 67-74 2000 conf/icfem/2000 ICFEM https://doi.org/10.1109/ICFEM.2000.873806 https://doi.ieeecomputersociety.org/10.1109/ICFEM.2000.873806 db/conf/icfem/icfem2000.html#Tamai00

Tetsuo Tamai Objects and roles: modeling based on the dualistic view. 1005-1010 1999 41 Inf. Softw. Technol. 14 https://doi.org/10.1016/S0950-5849(99)00075-0 https://www.wikidata.org/entity/Q127840297 db/journals/infsof/infsof41.html#Tamai99

Guoqing Wu Xiang Liu Shi Ying Tetsuo Tamai Automated analysis of the SCR-style requirements specifications. 401-407 1999 14 J. Comput. Sci. Technol. 4 https://doi.org/10.1007/BF02948743 db/journals/jcst/jcst14.html#WuLYT99

Takako Nakatani Tetsuo Tamai Empirical Observations on Object Evolution. 2-9 1999 conf/apsec/1999 APSEC https://doi.org/10.1109/APSEC.1999.809578 https://doi.ieeecomputersociety.org/10.1109/APSEC.1999.809578 db/conf/apsec/apsec1999.html#NakataniT99 Naoyasu Ubayashi Tetsuo Tamai An Evolutional Cooperative Computation Based on Adaptation to Environment. 334- 1999 conf/apsec/1999 APSEC https://doi.org/10.1109/APSEC.1999.809620 https://doi.ieeecomputersociety.org/10.1109/APSEC.1999.809620 db/conf/apsec/apsec1999.html#UbayashiT99 Akihiro Abe Tetsuo Tamai IDEFO-Based Software Process Analysis for Scheduling Systems Development. 361-370 1999 conf/iceis/1999 ICEIS db/conf/iceis/iceis1999.html#AbeT99

Tetsuo Tamai Abstraction orientated property of software and its relation to patentability. 253-257 1998 40 Inf. Softw. Technol. 5-6 https://doi.org/10.1016/S0950-5849(98)00057-3 https://www.wikidata.org/entity/Q127951991 db/journals/infsof/infsof40.html#Tamai98

Mitsuharu Yamamoto Koichi Takahashi Masami Hagiya Shin-ya Nishizaki Tetsuo Tamai Formalization of Graph Search Algorithms and Its Applications. 479-496 1998 conf/tphol/1998 TPHOLs db/conf/tphol/tphol98.html#YamamotoTHNT98 https://doi.org/10.1007/BFb0055153 Takako Nakatani Tetsuo Tamai Atsushi Tomoeda Harumi Matsuda Towards Constructing a Class Evolution Model. 131- 1997 conf/apsec/1997 APSEC https://doi.org/10.1109/APSEC.1997.640170 https://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640170 db/conf/apsec/apsec1997.html#NakataniTTM97 Tetsuo Tamai How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study. 125-135 1996 IWSSD https://dl.acm.org/doi/10.5555/857204.858270 conf/iwssd/1996 db/conf/iwssd/iwssd1996.html#Tamai96 Tetsuo Tamai Akito Itou Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. 167-176 1993 conf/icse/1993 ICSE http://portal.acm.org/citation.cfm?id=257572.257607 db/conf/icse/icse93.html#TamaiI93 Tetsuo Tamai Yohsuke Torimitsu Software lifetime and its evolution process over generations. 63-69 1992 ICSM https://doi.org/10.1109/ICSM.1992.242557 conf/icsm/1992 db/conf/icsm/icsm1992.html#TamaiT92 Tetsuo Tamai Formal and informal approaches for validation. 534-535 1991 COMPSAC https://doi.org/10.1109/CMPSAC.1991.170235 conf/compsac/1991 db/conf/compsac/compsac1991.html#Tamai91 Tetsuo Tamai Akito Itou Backtrack and foresight in software process. 130-132 1991 conf/ispw/1991 ISPW db/conf/ispw/ispw1991.html#TamaiI91 https://doi.org/10.1109/ISPW.1991.637555 https://doi.ieeecomputersociety.org/10.1109/ISPW.1991.637555 Akihiro Abe Yoshihiro Akiyama Taichi Anzai Tomoyuki Aotani Arosha K. Bandara Osamu Dairiki Masami Hagiya Masayuki Hirayama Shinichi Honiden Zhenjiang Hu 0002 Ryoichi Ichiyama Akito Itou Mayumi Kamata-Itakura Yasutaka Kamei Tetsuo Kamina Tsutomu Kumazawa Shaoying Liu Xiang Liu Yusaku Maeno Hidehiko Masuhara Harumi Matsuda Yoshihiro Matsumoto Supasit Monpratarnchai Genki Moriyama Hausi A. Müller Satoshi Murakami John Mylopoulos Shin Nakajima 0001 Takako Nakatani Shin-ya Nishizaki Kazuhide Noda Jun Nomura Bashar Nuseibeh Sou Ohmura Genya Otsubo Jinji Piao Akihiro Sakai Shinji Sano Yuki Sato Hideaki Shinomi Suguru Shinotsuka Koichi Takahashi Atsushi Tomoeda Yohsuke Torimitsu Toshihiko Tsumaki Naoyasu Ubayashi Tetsuya Urai Yi Wang Guoqing Wu Mitsuharu Yamamoto Shi Ying Jun Yoshida Nobukazu Yoshioka Yijun Yu 0001