Catalog > Sciences > Computer Science > Computer Science > Shaoying Liu & Zhenhua Duan: Structured Object-Oriented Formal Language and Method (PDF)

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

Cover of Shaoying Liu & Zhenhua Duan: Structured Object-Oriented Formal Language and Method (PDF)

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

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...

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

Shaoying Liu Zhenhua Duan

16,795 Ebooks in this category

Cover of Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Cover of Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media

Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media

This volume provides a comprehensive introduction to foundational topics in sound design for linear media, such as listening and recording; audio postproduction; key musical concepts and forms such a …

Cover of Sharon Yull: BTEC National for IT Practitioners: Business units

Sharon Yull: BTEC National for IT Practitioners: Business units

BTEC National for IT Practitioners: Business Units has been written specifically to cover the business pathway of the BTEC National specifications. This book caters for one of the most popular pathwa …

Cover of Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Cover of Gilbert Held: Wireless Mesh Networks

Gilbert Held: Wireless Mesh Networks

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the concep …

Cover of Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Cover of Joanna Kulesza: International Internet Law

Joanna Kulesza: International Internet Law

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

Cover of Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

"Modern Data Mining with Python" is a guidebook for responsibly implementing data mining techniques that involve collecting, storing, and analyzing large amounts of structured and unstructu …

Cover of Kuldeep Singh: Exploring the Metaverse

Kuldeep Singh: Exploring the Metaverse

The metaverse has been a topic of conversation for a long time, but it still remains loosely defined. Some see it as a game in the virtual world, while others see it as a more connected version of th …

Cover of Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations

Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations

As technology weaves itself more tightly into everyday life, socio-economic development has become intricately tied to these ever-evolving innovations. Technology management is now an integral elemen …