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 Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability., , and . International Journal of Software Engineering and Knowledge Engineering, 21 (2): 259-288 (2011)Generating test data from SOFL specifications., and . Journal of Systems and Software, 49 (1): 49-62 (1999)SOFL: A Formal Engineering Methodology for Industrial Applications., , , , and . IEEE Trans. Software Eng., 24 (1): 24-45 (1998)Criteria for Generating Specification-Based Tests., , and . ICECCS, page 119-. IEEE Computer Society, (1999)A Framework for SOFL-Based Program Review., , and . ICECCS, page 6-7. IEEE Computer Society, (2005)Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language., , and . ICECCS, page 61-71. IEEE Computer Society, (2000)A Formal Specification-Based Testing Approach to Accurate Web Service Selection., and . APSCC, page 259-266. IEEE Computer Society, (2011)Utilizing Formalization to Test Programs without Available Source Code (Short Paper).. QSIC, page 216-221. IEEE Computer Society, (2008)An Empirical Study on a Specification-Based Program Review Approach., , and . DepCoS-RELCOMEX, page 199-206. IEEE Computer Society, (2006)Automatic Specification-Based Testing: Challenges and Possibilities.. TASE, page 5-8. IEEE Computer Society, (2011)