Travelled to:1 × Austria
1 × Brazil
1 × Canada
1 × China
1 × France
1 × Italy
1 × Republic of China
5 × USA
Collaborated with:D.Xu X.He D.Zhang Y.Deng ∅ Y.Shao J.Ge M.H.N.Tabrizi S.Vilkomir C.R.Westbrook M.N.H.Tabrizi L.Mo W.E.Wong G.Fiorini C.Hansen H.Dong X.Li J.Lü P.J.Clarke
Talks about:softwar (5) model (4) specif (3) case (3) base (3) use (3) net (3) undergradu (2) approach (2) develop (2)
Person: Junhua Ding
DBLP: Ding:Junhua
Contributed to:
2015
201420142013201320122011
20102010
200820052002
1998Wrote 13 papers:
- SEKE-2015-DingZ #modelling #petri net #using
- Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.
- CSEET-2014-Ding #learning #re-engineering #self
- Self-guided learning environment for undergraduate software engineering (JD), pp. 188–189.
- SEKE-2014-DingSZ #development #protocol
- Development of A Sliding Window Protocol for Data Synchronization in a Flow Cytometer (JD, YS, DZ), pp. 626–631.
- CSEET-2013-WongDFH #challenge #research
- Undergraduates and research: Motivations, challenges, and the path forward (WEW, JD, GF, CH), pp. 341–345.
- SEKE-2013-DingXG #approach #petri net #specification
- An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.
- SEKE-2012-DingX #case study #modelling #testing
- Model-Based Metamorphic Testing: A Case Study (JD, DX), pp. 363–368.
- CSEET-2011-TabriziVD #case study #development #experience #re-engineering
- Development of North Carolina’s first Software Engineering program: An experience report (MHNT, SV, JD), pp. 266–273.
- ICST-2010-XuD #testing
- Prioritizing State-Based Aspect Tests (DX, JD), pp. 265–274.
- SEKE-2010-DingWT #aspect-oriented #case study #design
- Designing Aspects with Use Cases: A Case Study (JD, CRW, MNHT), pp. 797–803.
- SAC-2008-DingMH #approach #refinement #specification #using
- An approach for specification construction using property-preserving refinement patterns (JD, LM, XH), pp. 797–803.
- SEKE-2005-DingXDCH #design #mobile #modelling
- Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models (JD, DX, YD, PJC, XH), pp. 560–565.
- SEKE-2002-HeDD #architecture #model checking #specification
- Model checking software architecture specifications in SAM (XH, JD, YD), pp. 271–278.
- TOOLS-ASIA-1998-DongDLL #communication #framework #on the
- On Open Communication Frameworks for Software Agents (HD, JD, XL, JL), pp. 188–195.