Author of the publication

Development of a web-based conference management system using SOFL.

, and . RACS, page 337-342. ACM, (2015)

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

An Automated Approach to Specification-Based Program Inspection., , , , and . ICFEM, volume 3785 of Lecture Notes in Computer Science, page 421-434. Springer, (2005)Development of a web-based conference management system using SOFL., and . RACS, page 337-342. ACM, (2015)A Review Approach to Detecting Structural Consistency Violations in Programs., , and . ACIS-ICIS, page 61-66. IEEE Computer Society, (2005)An Application of SOFL for Rapid Prototyping., and . SOFL, volume 7787 of Lecture Notes in Computer Science, page 104-115. Springer, (2012)A Comparative Study of a GUI-Aided Formal Specification Construction Approach., and . ICCSA (1), volume 10404 of Lecture Notes in Computer Science, page 273-283. Springer, (2017)An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing., and . SOFL+MSVL, volume 10795 of Lecture Notes in Computer Science, page 24-35. Springer, (2017)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)An Investigation of the Approach to Specification-Based Program Review through Case Studies., , and . ICECCS, page 249-258. IEEE Computer Society, (2004)A Framework for SOFL-Based Program Review., , and . ICECCS, page 6-7. IEEE Computer Society, (2005)A Case Study on Combining Agile Requirements Development and SOFL.. SOFL+MSVL, volume 12723 of Lecture Notes in Computer Science, page 23-33. Springer, (2020)