Lingzi Jin

According to our database, Lingzi Jin authored at least 12 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A stochastic primal-dual method for a class of nonconvex constrained optimization.

Lingzi Jin, Xiao Wang

Comput. Optim. Appl., 2022

2017

The LSQR algorithm for inversion in synthetic aperture imaging radiometry.

Xiaocheng Yang, Jiaqi Huang, Wentao Lv, Long Wu, Mingfeng Jiang, Lingzi Jin

Proceedings of the 10th International Congress on Image and Signal Processing, 2017

The Pressure Comfort Sensation of Female's Body Parts Caused by Compression Garment.

Yongrong Wang, Yu Liu, Shengli Luo, Cheng Chen, Lingzi Jin

Proceedings of the Advances in Human Factors in Wearable Technologies and Game Design, 2017

2009

Automated Functional Testing of Search Engine.

Lingzi Jin

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

2002

Software requirements validation via task analysis.

Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai

J. Syst. Softw., 2002

2000

Scenario Analysis in an Automated Tool for Requirements Engineering.

Hong Zhu, Lingzi Jin

Requir. Eng., 2000

Automating Scenario-Driven Structured Requirements Engineering.

Hong Zhu, Lingzi Jin

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1997

Adequate testing of hypertext applications.

Lingzi Jin, Hong Zhu, Patrick A. V. Hall

Inf. Softw. Technol., 1997

Automatic Generation of Formal Specification from Requirements Definition.

Lingzi Jin, Hong Zhu

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

Tool support of orderly transition from informal to formal descriptions in requirements engineering.

J. Xu, Lingzi Jin, Hong Zhu

Proceedings of the Advanced IT Tools, 1996

1989

A metalanguage to express human guidance for program transformation.

Lingzi Jin, Hong Zhu

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

A Knowledge-Based System to Synthesize FP Programs from Examples.

Hong Zhu, Lingzi Jin

Proceedings of the EPIA 89, 1989