Jiandong Li
Orcid: 0000-0002-2896-2282Affiliations:
- Hiroshima University, Graduate School of Advanced Science and Engineering, Japan
According to our database1,
Jiandong Li
authored at least 4 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Requirements-related fault prevention during the transformation from formal specifications to programs.
IET Softw., June, 2023
2022
Int. J. Softw. Eng. Knowl. Eng., 2022
Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
2021
Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021