Shaoying Liu & Zhenhua Duan 
Structured Object-Oriented Formal Language and Method [PDF ebook] 
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Support

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.

€41.64
payment methods

Table of Content

Testing and Inspection.- An Implementation Framework for Optimizing Test Case Generation Using Model Checking.- Applying GA with Tabu list for Automatically Generat...

read more
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● Pages 189 ● ISBN 9783319174044 ● Editor Shaoying Liu & Zhenhua Duan ● Publisher Springer International Publishing ● City Cham ● Country CH ● Published 2015 ● Downloadable 24 months ● Currency EUR ● ID 4455822 ● Copy protection Social DRM

More ebooks from the same author(s) / Editor

16,795 Ebooks in this category