( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating Prototyping into the SOFL Three-Step Modeling Approach.

, и . ICFEM, том 6991 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2011)

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.

Shaoying Wen

Shaoying Wang

Liu Liu

Liu Liu

Liu Liu

 

Другие публикации лиц с тем же именем

A Rigorous Method for Inspection of Model-Based Formal Specifications., , и . IEEE Trans. Reliab., 59 (4): 667-684 (2010)A Framework for Practical Specification-Based Testing.. SETP, стр. 176-189. ISRST, (2007)A Formal Specification-Based Integration Testing Approach., и . SOFL, том 7787 из Lecture Notes in Computer Science, стр. 26-43. Springer, (2012)Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation., , , , , и . SoMeT, том 217 из Frontiers in Artificial Intelligence and Applications, стр. 383-397. IOS Press, (2010)Development of a web-based conference management system using SOFL., и . RACS, стр. 337-342. ACM, (2015)A user-friendly formal requirements specification method.. ACM Southeast Regional Conference, стр. 211-218. ACM, (1992)A Formal Approach to Secure Design of RESTful Web APIs Using SOFL., , и . SOFL+MSVL, том 12723 из Lecture Notes in Computer Science, стр. 105-125. Springer, (2020)A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL., , и . IEICE Trans. Inf. Syst., 106 (5): 986-1000 (мая 2023)OFEI: A Semi-black-box Android Adversarial Sample Attack Framework Against DLaaS., , , , , , и . CoRR, (2021)Automated Functional Scenarios-Based Formal Specification Animation., и . APSEC, стр. 107-115. IEEE, (2012)