Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers /

This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite wor...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bianculli, Domenico (Editor ), Calinescu, Radu (Editor ), Rumpe, Bernhard (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Programming and Software Engineering, 9509
Temas:
Application software.
Artificial intelligence.
Algorithms.
Computer science-Mathematics.
Mathematical statistics.
Computer science.
Database management.
Computer and Information Systems Applications.
Artificial Intelligence.
Probability and Statistics in Computer Science.
Theory of Computation.
Database Management.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Automating Test Case Design, Selection and Evaluation
  • Human-Oriented Formal Methods
  • Modelling and Knowledge Management Applications: Systems and Domains
  • Art of Service Composition and Formal Verification for Self-* Systems.

Ejemplares similares