Author of the publication

Developing an Insulin Pump System Using the SOFL Method.

, , , and . APSEC, page 334-341. IEEE Computer Society, (2007)

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 formal structured method for requirement specification construction.. SAC, page 1055-1063. ACM, (1992)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)Developing Quality Software Systems Using the SOFL Formal Engineering Method.. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 3-19. Springer, (2002)A Tool Supported Testing Method for Reducing Cost and Improving Quality.. QRS, page 448-455. IEEE, (2016)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)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)Traceability-Based Formal Specification Inspection., and . SERE, page 167-176. IEEE, (2014)