Travelled to:1 × Australia
1 × Brazil
1 × Canada
1 × China
1 × Germany
1 × Hungary
1 × India
1 × Italy
1 × Japan
1 × Sweden
1 × Taiwan
1 × Vietnam
11 × USA
Collaborated with:H.Washizaki H.Nakagawa A.Ohsuga Y.Maezawa F.Ishikawa N.Yoshioka K.Taguchi Y.Tahara K.Sakamoto K.Nishiura T.Inoue H.Kuruma C.Artho A.Biere T.Karube A.Finkelstein N.Kotaka Y.Kishimoto N.Uchihira K.Itoh K.Yatoh T.Suzuki Y.Tanabe N.Rajgure E.Platon C.Borcea Y.Kawamata C.Sommer T.Kawamura T.Hasegawa R.Takahashi K.Tei Y.Fukazawa S.Komiya M.Saeki J.Kato A.Ohmori H.Horai S.Ohtsuki K.Ohmaki
Talks about:model (8) base (7) system (6) applic (6) analysi (5) agent (5) specif (4) method (4) approach (3) process (3)
♂ Person: Shinichi Honiden
DBLP: Honiden:Shinichi
Facilitated 4 volumes:
ExpertReviewPaPrBoardPrBoardGChContributed to:
20152014
20142013
2013
2013
2012
2011
20112009
2009
20082007
2007
20062006
20052004200019991993
1992
1991Wrote 23 papers:
- ISSTA-2015-YatohSIH #generative #random testing #testing
- Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
- ASE-2014-MaezawaNWH #ajax #using #validation
- Validating ajax applications using a delay-based mutation technique (YM, KN, HW, SH), pp. 491–502.
- ICPC-2014-SuzukiSIH #approach #modelling #n-gram #using
- An approach for evaluating and suggesting method names using n-gram models (TS, KS, FI, SH), pp. 271–274.
- ASE-2013-MaezawaWTH #ajax #automation #interactive #invariant #verification
- Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.
- RE-2013-NakagawaOH #evolution
- A goal model elaboration for localizing changes in software evolution (HN, AO, SH), pp. 155–164.
- SEKE-2013-NishiuraMWH #analysis #mutation testing #testing
- Mutation Analysis for JavaScriptWeb Application Testing (KN, YM, HW, SH), pp. 159–165.
- CSMR-2012-MaezawaWH #behaviour #internet
- Extracting Interaction-Based Stateful Behavior in Rich Internet Applications (YM, HW, SH), pp. 423–428.
- CBSE-2011-InoueH #analysis #component #data flow
- A method for data-flow analysis of business components (TI, SH), pp. 51–60.
- SAC-2011-NakagawaYOH #design #framework #model transformation #multi #named
- IMPULSE: a design framework for multi-agent systems based on model transformation (HN, NY, AO, SH), pp. 1411–1418.
- SAC-2009-RajgurePBH #clustering #network #self #transaction
- Geographical data collection in sensor networks with self-organizing transaction cluster-heads (NR, EP, CB, SH), pp. 1214–1218.
- SEFM-2009-KawamataSIH #refinement #specification
- Specifying and Checking Refinement Relationships in VDM++ (YK, CS, FI, SH), pp. 220–227.
- EDOC-2008-TakahashiTIHF #approach #composition #coordination #metadata #multi #protocol #using
- Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems (RT, KT, FI, SH, YF), pp. 372–378.
- ASE-2007-NakagawaTH #approach #generative #model transformation #modelling #requirements #specification
- Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.
- ICSE-2007-HonidenTYTW #architecture #development #re-engineering #tool support
- Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan (SH, YT, NY, KT, HW), pp. 708–718.
- FM-2006-ArthoBH #injection #named #performance
- Enforcer — Efficient Failure Injection (CA, AB, SH), pp. 412–427.
- ICSE-2006-NakagawaKH #analysis #modelling #multi
- Analysis of multi-agent systems based on KAOS modeling (HN, TK, SH), pp. 926–929.
- ICEIS-v3-2005-KurumaH #community #policy
- A Model for Policy Based Service Community (HK, SH), pp. 360–366.
- EDOC-2004-YoshiokaHF #coordination #performance #security
- Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems (NY, SH, AF), pp. 84–97.
- EDOC-2000-KawamuraHOH #development #framework
- Rental Application to Rental Service Development of Advanced ASP Framework (TK, TH, AO, SH), p. 58–?.
- ICSE-1999-TaharaOH #development
- Agent System Development Method Based on Agent Patterns (YT, AO, SH), pp. 356–367.
- SEKE-1993-KomiyaSHKOHOO #analysis #process #specification
- An Experimental Analysis for Classifying Specification Processes (SK, MS, SH, JK, AO, HH, SO, KO), pp. 231–234.
- TOOLS-PACIFIC-1992-KotakaKH #analysis #modelling #object-oriented #process #specification
- Specification Process Modelling in Object-Oriented Analysis (NK, YK, SH), pp. 67–81.
- ESEC-1991-HonidenUI #design #performance #process #prototype #realtime
- An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems (SH, NU, KI), pp. 189–209.