BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ding:Junhua

Contributed to:

SEKE 20152015
CSEE&T 20142014
SEKE 20142014
CSEE&T 20132013
SEKE 20132013
SEKE 20122012
CSEE&T 20112011
ICST 20102010
SEKE 20102010
SAC 20082008
SEKE 20052005
SEKE 20022002
TOOLS Asia 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.