Description
Structured Object-Oriented Formal Language and Method, 1st ed. 2016
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Theoretical Computer Science and General Issues Series
Coordinators: Liu Shaoying, Duan Zhenhua
Language: EnglishSubject for Structured Object-Oriented Formal Language and Method:
Keywords
Generic programming; Genetic algorithm; Model checking; Reinforcement learning; Semantic analysis; Automated debugging; Formal development; Formal semantics; Linear temporal logic; Model driven; Process scheduling; Real-time systems; Social networks; Software analysis; Software engineering; Specification; System modeling; Temporal logic; Verification; XML
219 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
Modeling and Specification.- Testing and Debugging.- Model Checking and Verification.- Algorithm and Transformation.
Includes supplementary material: sn.pub/extras