Engineering Trustworthy Software Systems
First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Seiten
2016
|
1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-29627-2 (ISBN)
Springer International Publishing (Verlag)
978-3-319-29627-2 (ISBN)
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.(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.
Erscheinungsdatum | 08.10.2016 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XI, 325 p. 141 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Schlagworte | Computer Science • Computer Science, general • Cyber-Physical Systems • Embedded Software • formal methods • Model-Driven Design • Modeling • modeling and modularity • Modularity • program correctness • security-by-refinement • Software Architectures • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • software system models • Software Validation • Software Verification • Software Verification and Validation • Trust • Z Notation |
ISBN-10 | 3-319-29627-2 / 3319296272 |
ISBN-13 | 978-3-319-29627-2 / 9783319296272 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen, Prozesse, Methoden und Werkzeuge
Buch | Hardcover (2024)
Springer Vieweg (Verlag)
99,99 €
Deterministische und randomisierte Algorithmen
Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
64,95 €