From post

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.

 

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

A Formal Specification-Based Integration Testing Approach., и . SOFL, том 7787 из Lecture Notes in Computer Science, стр. 26-43. Springer, (2012)A Framework for Practical Specification-Based Testing.. SETP, стр. 176-189. ISRST, (2007)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)An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.. ATVA, том 3299 из Lecture Notes in Computer Science, стр. 15-19. Springer, (2004)Integrating Prototyping into the SOFL Three-Step Modeling Approach., и . ICFEM, том 6991 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2011)Developing an Insulin Pump System Using the SOFL Method., , , и . APSEC, стр. 334-341. IEEE Computer Society, (2007)Software Construction Monitoring and Predicting for Human-Machine Pair Programming.. SOFL+MSVL, том 11392 из Lecture Notes in Computer Science, стр. 3-20. Springer, (2018)A Software Tool to Support Scenario-Based Formal Specification for Error Prevention., и . SOFL+MSVL, том 10795 из Lecture Notes in Computer Science, стр. 187-199. Springer, (2017)A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios., и . SOFL+MSVL, том 8332 из Lecture Notes in Computer Science, стр. 104-117. Springer, (2013)