Travelled to:1 × Finland
1 × France
1 × Italy
1 × Japan
1 × Korea
1 × New Zealand
1 × Norway
1 × South Korea
1 × Spain
1 × Switzerland
3 × USA
Collaborated with:∅ N.Ubayashi K.Futatsugi H.A.Le N.Truong D.Ishii G.Melquiond F.Weitl B.Freitag M.Hirayama S.Liu T.Tamai K.Hokamura R.Naruse M.Shiozuka A.Iwai Y.Beppu F.Kumeno K.Cho T.Hasegawa A.Ohsuga
Talks about:specif (4) featur (4) diagram (3) orient (3) model (3) use (3) framework (2) construct (2) diagnosi (2) context (2)
Person: Shin Nakajima
DBLP: Nakajima:Shin
Contributed to:
2015
2015
20132010
2010
2010
20092009
20092007
20001999
1997Wrote 14 papers:
- FM-2015-Nakajima #behaviour #energy #maude #realtime #using
- Using Real-Time Maude to Model Check Energy Consumption Behavior (SN), pp. 378–394.
- SAC-2015-LeTN #requirements #using #verification
- Verifying eventuality properties of imprecise system requirements using event-B (HAL, NTT, SN), pp. 1651–1653.
- IFM-2013-IshiiMN #automaton #calculus #hybrid #induction #verification
- Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus (DI, GM, SN), pp. 139–153.
- SAC-2010-Nakajima #automation #diagrams #feature model
- Semi-automated diagnosis of FODA feature diagram (SN), pp. 2191–2197.
- SEFM-2010-WeitlNF #logic
- Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.
- SPLC-2010-Nakajima #automation #diagrams #encoding #feature model
- Non-clausal Encoding of Feature Diagram for Automated Diagnosis (SN), pp. 420–424.
- SPLC-2010-UbayashiNH #embedded #product line #reliability
- Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.
- ASE-2009-HokamuraNSUNI #aspect-oriented #framework #named #php
- AOWP: Web-Specific AOP Framework for PHP (KH, RN, MS, NU, SN, AI), pp. 683–685.
- SAC-2009-LiuTN #assurance #component #integration #overview #quality #specification #testing
- Integration of formal specification, review, and testing for software component quality assurance (SL, TT, SN), pp. 415–421.
- SEKE-2009-Nakajima #diagrams #feature model
- Constructing FODA Feature Diagrams with a GUI-based Tool (SN), pp. 20–25.
- SAC-2007-UbayashiN #feature model #modelling
- Context-aware feature-oriented modeling with an aspect extension of VDM (NU, SN), pp. 1269–1274.
- EDOC-2000-BeppuNKCHO #mobile
- A Directory Server for Mobile Agents Interoperability (YB, SN, FK, KC, TH, AO), p. 144–?.
- FM-v2-1999-Nakajima #algebra #development #framework #object-oriented #specification #using
- Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks (SN), pp. 1664–1683.
- ICSE-1997-NakajimaF #algebra #modelling #object-oriented #specification
- An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ (SN, KF), pp. 34–44.