Author of the publication

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.

 

Other publications of authors with the same name

A Formal Definition of FRSM and Applications.. International Journal of Software Engineering and Knowledge Engineering, 8 (2): 253-281 (1998)A relation-based method combining functional and structural testing for test case generation, and . Journal of Systems and Software, 81 (2): 234-248 (2008)A formal structured method for requirement specification construction.. SAC, page 1055-1063. ACM, (1992)A Tool Supported Testing Method for Reducing Cost and Improving Quality.. QRS, page 448-455. IEEE, (2016)Developing Quality Software Systems Using the SOFL Formal Engineering Method.. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 3-19. Springer, (2002)Integrating Specification-Based Review and Testing for Detecting Errors in Programs.. ICFEM, volume 4789 of Lecture Notes in Computer Science, page 136-150. Springer, (2007)Automatic Transformation from SOFL Module Specifications to Program Structures., and . SOFL+MSVL, volume 9559 of Lecture Notes in Computer Science, page 206-218. Springer, (2015)Traceability-Based Formal Specification Inspection., and . SERE, page 167-176. IEEE, (2014)Design and Implementation of a Tool for Specifying Specification in SOFL., and . SOFL, volume 7787 of Lecture Notes in Computer Science, page 44-55. Springer, (2012)The practice of formal methods in safety-critical systems., , and . J. Syst. Softw., 28 (1): 77-87 (1995)