PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ding, Junhua"

Author of the publication

copydeleteadd this publication to your clipboard
Formally analyzing software architectural specifications using SAM .

, , , , and . Journal of Systems and Software, 71 (1-2): 11-29 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Longjiang Ding University of Stuttgart

Sheng Ding University of Stuttgart

 

Other publications of authors with the same name

A Framework for Ensuring the Quality of a Big Data Service., , and . SCC, page 82-89. IEEE Computer Society, (2016)A framework for global collaboration in teaching software engineering.. CTGDSD@ICSE, page 30-34. IEEE Computer Society, (2013)Augmentation and evaluation of training data for deep learning., , and . BigData, page 2603-2611. IEEE Computer Society, (2017)Modeling and analyzing security protocols in SAM: A case study., , , and . IASTED Conf. on Software Engineering and Applications, page 115-121. IASTED/ACTA Press, (2004)A Machine Learning Approach for Developing Test Oracles for Testing Scientific Software., and . SEKE, page 390-395. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2016)Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models., , , , and . SEKE, page 560-565. (2005)Development of North Carolina's first Software Engineering program: An experience report., , and . CSEE&T, page 266-273. IEEE Computer Society, (2011)A methodology for evaluating test coverage criteria of high levelPetri nets., , , and . Information & Software Technology, 51 (11): 1520-1533 (2009)Formal Specification and Analysis of an Agent-Based Medical Image Processing System., and . International Journal of Software Engineering and Knowledge Engineering, 20 (3): 311-345 (2010)An Approach for Modeling and Analyzing Crosscutting Concerns., , and . SOLI, page 91-97. IEEE, (2009)