posted by user: shaikhasad || 985 views || tracked by 1 users: [display]

SATT - 2016 : Software Algorithms, Tools, and Technologies for Model Verification and Validation


When Jun 15, 2016 - Oct 30, 2016
Where Saudi Arabia
Abstract Registration Due Jun 15, 2016
Submission Deadline Sep 15, 2016
Notification Due Jun 15, 2016
Final Version Due Jun 15, 2018
Categories    model verification   model checking   model testing   model validation

Call For Papers

Respected Colleagues/Fellow Researchers,

You are cordially invited to submit your paper for possible inclusion in the book titled as "Software Algorithms, Tools, and Technologies for Model Verification and Validation". The book welcomes articles related to the area of model analysis, walkthrough, model tracing, semantic analysis and expert intuition etc. It also welcomes articles related to tools and technologies relevant to model validation and verification.

Behind the success of software tools, mostly complex algorithms and software models are involved. Software models are counted as the back-bone in the process of software development strategies specially where critical algorithms are implemented. Furthermore, the design of models or methodologies are being selected on the basis of project's aims and goals. There are several software life cycles that have been used to code critical software systems. Later on these life cycles for specific software system became the symbol of success of software tools. This book captures marked software tools based on complexity, uniqueness, and importance of different topics at one place. The researchers/scholars can find the implementation of unique algorithms in the form of software tools in a single book with verity of topics. The researchers and practitioners can benefit themselves by reading and implementing several high quality algorithms and tools in their creative work. We want to give the opportunity to our book readers that they can save time and efforts of searching several tools and algorithms.

With their role of modelling being increasingly dominant in other fields such as software design and development, there is a growing need for an integrated set of algorithms, approaches and tools that are useful for verifying and validating models. This book provides an opportunity to collect and integrate various approaches and technologies that help in verifying and validating the models with respect to syntax and semantics for better quality representations.
The distinctive feature of this book will be a collection of various algorithms which are recently implemented in the form of software tools specifically for the purpose of model verification and validation. The software tools are unique research mechanisms whose implementation is not commonly available. The primary benefit for the reader of this book is to understand the insights of various research techniques, algorithms, and tools in a consolidated manner.Areas of interest for this book include, but are not limited to, the following topics:

1.Model Verification
2.Model Checking
3.Model Testing
4.Model Validation

You are required to notify the submit the title of the paper, list of authors, and abstract thourgh Easy Chair conference system. The entire text will be required to be submitted as a PDF file by the deadline indicated below. The authoring guidelines willed be conveyed to you via email after we receive your letter of intent.
Web address:
Book theme: A collection of software algorithms, tools, and technologies used for model verification and validation. Publication with springer is under negotiation.


Intent to Submit: June 15 , 2016 (Only Abstract)
Decision Date: June 30, 2016
Full Version: September 15, 2016
Decision Date: October 15, 2016
Final Version: October 30, 2016

Related Resources

SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
WiL 2020   WiL 2020: 4th Women in Logic Workshop
MoDRE 2020   10th International Workshop on Model-Driven Requirements Engineering
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
ACM-WCBD-Ei/Scopus 2020   2020 International Conference on Wireless Communication and Big Data (WCBD 2020)
LCTES 2020   The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
CAV 2020   Computer Aided Verification
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus