Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /

The courses of SETSS 2014 aim to improve the understanding of the relation between theory and practice in software engineering, to contribute to narrowing the gap between them. This volume contains the lecture notes of the five courses and materials of one seminar. The common themes of the courses i...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Liu, Zhiming (Editor ), Zhang, Zili (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Programming and Software Engineering, 9506
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Computer simulation.
Computers, Special purpose.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Modelling.
Special Purpose and Application-Based Systems.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • (In-)formal methods: The Lost Art
  • Program refinement, perfect secrecy and information flow
  • The Z Notation: Whence the Cause and Whither the Course?
  • Model-Driven Design of Object and Component Systems
  • Cyber-Physical Systems Engineering
  • Combining Formal and Informal Methods in the Design of Spacecrafts.

Ejemplares similares