The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Shaoying Liu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yuting Chen, Shaoying Liu, Fumiko Nagoya
    A Review Approach to Detecting Structural Consistency Violations in Programs. [Citation Graph (0, 0)][DBLP]
    ACIS-ICIS, 2005, pp:61-66 [Conf]
  2. Shaoying Liu
    A user-friendly formal requirements specification method. [Citation Graph (0, 0)][DBLP]
    ACM Southeast Regional Conference, 1992, pp:211-218 [Conf]
  3. Shaoying Liu
    Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols. [Citation Graph (0, 0)][DBLP]
    AINA, 2003, pp:289-292 [Conf]
  4. Yuting Chen, Shaoying Liu
    An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:276-283 [Conf]
  5. Chris Ho-Stuart, Shaoying Liu
    A Formal Operational Semantics for SOFL. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:52-61 [Conf]
  6. Shaoying Liu
    Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:510-519 [Conf]
  7. Shaoying Liu, Rolf Adams
    Limitations of Formal Methods and an Approach to Improvement. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:498-0 [Conf]
  8. Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
    A GUI and testing tool for SOFL. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:421-0 [Conf]
  9. Shaoying Liu, Masaomi Shibata, Ryuichi Sato
    Applying SOFL to Develop a University Information System. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:404-411 [Conf]
  10. John A. McDermid, Shaoying Liu
    A Case Study Using SAM - Safety Analysis of PES. [Citation Graph (0, 0)][DBLP]
    APSEC, 1996, pp:217-0 [Conf]
  11. Shaoying Liu
    An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:15-19 [Conf]
  12. Jin Song Dong, Shaoying Liu
    The Semantics of Extended SOFL. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:653-658 [Conf]
  13. Fumiko Nagoya, Shaoying Liu, Yuting Chen
    A Tool and Case Study for Specification-Based Program Review. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:375-380 [Conf]
  14. Fumiko Nagoya, Yuting Chen, Shaoying Liu
    An Empirical Study on a Specification-Based Program Review Approach. [Citation Graph (0, 0)][DBLP]
    DepCoS-RELCOMEX, 2006, pp:199-206 [Conf]
  15. Shaoying Liu
    Verifying Consistency and Validity of Formal Specifications by Testing. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:896-914 [Conf]
  16. Yong Sun, Shaoying Liu, Mitsuru Ohba
    Self-independent Petri Nets for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:487-502 [Conf]
  17. Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu
    The Availability Semantics of Predicate Data Flow Diagram. [Citation Graph (0, 0)][DBLP]
    GCC (2), 2003, pp:970-977 [Conf]
  18. Hassan Gomaa, Shaoying Liu, Michael E. Shin
    Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:61-71 [Conf]
  19. Shaoying Liu
    Capturing Complete and Accurate Requirements by Refinemen. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2002, pp:57-67 [Conf]
  20. Yuting Chen, Shaoying Liu, Fumiko Nagoya
    A Framework for SOFL-Based Program Review. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:6-7 [Conf]
  21. Shaoying Liu
    Evolution: A More Practical Approach than Refinement for Software Development. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1997, pp:142-151 [Conf]
  22. Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura
    An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1998, pp:100-114 [Conf]
  23. Shaoying Liu, Chris Ho-Stuart
    Semi-automatic Transformation from Formal Specifications to Programs. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1996, pp:506-513 [Conf]
  24. Shaoying Liu, Yong Sun
    Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:137-144 [Conf]
  25. Fumiko Nagoya, Shaoying Liu, Yuting Chen
    An Investigation of the Approach to Specification-Based Program Review through Case Studies. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:249-258 [Conf]
  26. Fumiko Nagoya, Shaoying Liu, Yuting Chen
    Design of a Tool for Specification-Based Program Review. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:10-11 [Conf]
  27. A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu
    Criteria for Generating Specification-Based Tests. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1999, pp:119-0 [Conf]
  28. Shaoying Liu
    Developing Quality Software Systems Using the SOFL Formal Engineering Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:3-19 [Conf]
  29. Shaoying Liu
    Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:7-8 [Conf]
  30. Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid
    An Automated Approach to Specification-Based Program Inspection. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:421-434 [Conf]
  31. Wuwei Shen, Shaoying Liu
    Formalization, Testing and Execution of a Use Case Diagram. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:68-85 [Conf]
  32. Yuting Chen, Shaoying Liu, Fumiko Nagoya
    An Approach to Integration Testing Based on Data Flow Specifications. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:235-249 [Conf]
  33. Jin Song Dong, Shaoying Liu
    An Object Semantic Model of SOFL. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:189-208 [Conf]
  34. Sirin Bekbay, Shaoying Liu
    A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:100-107 [Conf]
  35. Shaoying Liu
    SOFL: A Formal Engineering Methodology for Industrial Applications. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:41- [Conf]
  36. Shaoying Liu, John A. McDermid
    Dynamic Sets and Their Application in VDM. [Citation Graph (0, 0)][DBLP]
    SAC, 1993, pp:187-192 [Conf]
  37. Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura
    Applying SOFL to Specify A Railway Crossing Controller for Industry. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:16-27 [Conf]
  38. Shaoying Liu
    An Abstract Programming Language and Correctness Proofs. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:18, n:4, pp:273-282 [Journal]
  39. Shaoying Liu
    A Formal Definition of FRSM and Applications. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:2, pp:253-281 [Journal]
  40. Shaoying Liu
    A formal requirements specification method based on data flow analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1993, v:21, n:2, pp:141-149 [Journal]
  41. Shaoying Liu
    Internal consistency of FRSM specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1995, v:29, n:2, pp:167-175 [Journal]
  42. Shaoying Liu, John A. McDermid
    A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:35, n:2, pp:151-164 [Journal]
  43. Shaoying Liu, Victoria Stavridou, Bruno Dutertre
    The practice of formal methods in safety-critical systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1995, v:28, n:1, pp:77-87 [Journal]
  44. A. Jefferson Offutt, Shaoying Liu
    Generating test data from SOFL specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1999, v:49, n:1, pp:49-62 [Journal]
  45. A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann
    Generating test data from state-based specifications. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2003, v:13, n:1, pp:25-53 [Journal]
  46. Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba
    SOFL: A Formal Engineering Methodology for Industrial Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:1, pp:24-45 [Journal]
  47. Yuting Chen, Shaoying Liu, Fumiko Nagoya
    A Tool-Supported Review Approach to Detecting Structural Consistency Violations. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:121-130 [Conf]
  48. Shaoying Liu
    Integrating Specification-Based Review and Testing for Detecting Errors in Programs. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:136-150 [Conf]
  49. Shaoying Liu, Hao Wang
    An automated approach to specification animation for validation. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:8, pp:1271-1285 [Journal]

  50. Developing an Insulin Pump System Using the SOFL Method. [Citation Graph (, )][DBLP]


  51. Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility. [Citation Graph (, )][DBLP]


  52. Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. [Citation Graph (, )][DBLP]


  53. Utilizing Formalization to Test Programs without Available Source Code (Short Paper). [Citation Graph (, )][DBLP]


  54. Integration of formal specification, review, and testing for software component quality assurance. [Citation Graph (, )][DBLP]


  55. An approach to detection of UML-based ownership violation. [Citation Graph (, )][DBLP]


  56. A Framework for Practical Specification-Based Testing. [Citation Graph (, )][DBLP]


  57. A Method Combining Review and Testing for Verifying Software Systems. [Citation Graph (, )][DBLP]


  58. Service-oriented modeling using the SOFL formal engineering method. [Citation Graph (, )][DBLP]


  59. A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.456secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002