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

This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.
The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.

Sommario

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

Dettagli sul prodotto

• Con la collaborazione di: Zhiming Liu (Editore), Zili Zhang (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 01.03.2016
• EAN: 9783319296272
• ISBN: 978-3-31-929627-2
• Pagine: 325
• Dimensioni: 156 mm x 236 mm x 20 mm
• Peso: 517 g
• Illustrazioni: XI, 325 p. 141 illus. in color.
• Serie: Lecture Notes in Computer Science; Programming and Software Engineering
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; C, Software Engineering, Computermodellierung und -simulation, Wissensbasierte Systeme, Expertensysteme, Compiler und Übersetzer, computer science, Theory of Computation, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Computer programming / software engineering, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Expert systems / knowledge-based systems, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Special purpose computers, Special Purpose and Application-Based Systems, Computer logic