Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bowen, Jonathan P. (Επιμελητής έκδοσης), Liu, Zhiming (Επιμελητής έκδοσης), Zhang, Zili (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10215
• Θέματα: Computer science.; Computer system failures.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computers.; Computer Science.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; The Computing Profession.; Logics and Meanings of Programs.; System Performance and Evaluation.

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an ove...

Πίνακας περιεχομένων:

• Alan Turing: Founder of Computer Science
• UTP by Example: Designs
• Reasoned Modelling with Event-B
• Java in the Safety-Critical Domain
• Runtime Verification for Linear-Time Temporal Logic
• Formal Reasoning on Infinite Data Values: An Ongoing Quest.