Author of the publication

A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.

, and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 74-84. (2016)

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 structured method for requirement specification construction.. SAC, page 1055-1063. ACM, (1992)Developing Quality Software Systems Using the SOFL Formal Engineering Method.. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 3-19. Springer, (2002)Formalization, Testing and Execution of a Use Case Diagram., and . ICFEM, volume 2885 of Lecture Notes in Computer Science, page 68-85. Springer, (2003)A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis., , , and . QRS, page 149-156. IEEE, (2021)Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs.. Turing-100, volume 10 of EPiC Series in Computing, page 229-238. EasyChair, (2012)A Tool Supported Testing Method for Reducing Cost and Improving Quality.. QRS, page 448-455. IEEE, (2016)Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice., and . SOFL+MSVL, volume 8332 of Lecture Notes in Computer Science, page 3-16. Springer, (2013)Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications., and . SOFL+MSVL, volume 8979 of Lecture Notes in Computer Science, page 32-46. Springer, (2014)Applying SOFL to a Railway Interlocking System in Industry., , , and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 160-177. (2016)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)