Author of the publication

Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

, , , and (Eds.) volume 10189 of Lecture Notes in Computer Science, (2017)

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 Approach to Integration Testing Based on Data Flow Specifications., , and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 235-249. Springer, (2004)An Application of SOFL for Rapid Prototyping., and . SOFL, volume 7787 of Lecture Notes in Computer Science, page 104-115. Springer, (2012)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)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)An Empirical Study on a Specification-Based Program Review Approach., , and . DepCoS-RELCOMEX, page 199-206. IEEE Computer Society, (2006)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)