Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Aoki, Toshiaki (Editor ), Taguchi, Kenji (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7635
Temas:
Software engineering.
Computer programming.
Compilers (Computer programs).
Algorithms.
Machine theory.
Computer networks .
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Computer Communication Networks.
Acceso en línea:Texto Completo
Descripción
Sumario:This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Descripción Física:XIV, 512 p. 131 illus. online resource.
ISBN:9783642342813
ISSN:2945-9168 ;

Ejemplares similares