Mo Li

Affiliations:
  • Hosei University, School of Information Sciences, Koganei, Japan


According to our database1, Mo Li authored at least 9 papers between 2012 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems.
IEEE Trans. Reliab., 2016

2014
Traceability-Based Formal Specification Inspection.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Adopting Variable Dependency in Animation for Presenting the Behaviour of Process.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Tool Support for Rigorous Formal Specification Inspection.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

Reviewing Formal Specification for Validation Using Animation and Trace Links.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
SOFL Specification Animation with Tool Support.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

2012
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Design and Implementation of a Tool for Specifying Specification in SOFL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Automated Functional Scenarios-Based Formal Specification Animation.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012


  Loading...