Structured Object-Oriented Formal Language and Method, 2015 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateurs : Liu Shaoying, Duan Zhenhua
Date de parution : 04-2015
Ouvrage de 189 p.
15.5x23.5 cm
Thème de Structured Object-Oriented Formal Language and Method :
Mots-clés :
Analysis; Constraint solving; Formal engineering methods; Formal methods; Formal semantics; Formal specification; Formal verification; Inspection; Model checking; Parallel programming; SOFL; software engineering; Satisfiability; Software specification; Software testing; Software verification; Specification; Tabu list; Temporal logic; Testing