( en | de | ru )

 

Disambiguation of "Jin, Lingzi"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Generation of Formal Specification from Requirements Definition.

, and . ICFEM, page 243-251. IEEE Computer Society, (1997)

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.

Li Jin

Hong Jin

Hua Jing

Xiufang Jin

Depu Jin

 

Other publications of authors with the same name

A stochastic primal-dual method for a class of nonconvex constrained optimization., and . Comput. Optim. Appl., 83 (1): 143-180 (2022)Tool support of orderly transition from informal to formal descriptions in requirements engineering., , and . IFIP World Conference on IT Tools, page 199-206. Chapman & Hall, (1996)Adequate testing of hypertext applications., , and . Inf. Softw. Technol., 39 (4): 225-234 (1997)A Knowledge-Based System to Synthesize FP Programs from Examples., and . EPIA, volume 390 of Lecture Notes in Computer Science, page 234-245. Springer, (1989)The LSQR algorithm for inversion in synthetic aperture imaging radiometry., , , , , and . CISP-BMEI, page 1-5. IEEE, (2017)Automatic Generation of Formal Specification from Requirements Definition., and . ICFEM, page 243-251. IEEE Computer Society, (1997)The Pressure Comfort Sensation of Female's Body Parts Caused by Compression Garment., , , , and . AHFE (24), volume 608 of Advances in Intelligent Systems and Computing, page 94-104. Springer, (2017)Automated Functional Testing of Search Engine.. AST, page 97-100. IEEE Computer Society, (2009)Scenario Analysis in an Automated Tool for Requirements Engineering., and . Requir. Eng., 5 (1): 2-22 (2000)Software requirements validation via task analysis., , , and . J. Syst. Softw., 61 (2): 145-169 (2002)