Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /: first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. (2016)

• Record Type: Book
• Other Titles: SETSS 2014
• Further Information: Note: Edited by Zhiming Liu, Zili Zhang.
• Editors: Liu, Zhiming; Zhang, Zili
• Other Names: International School on Engineering Trustworthy Software Systems, 1st
• Contents: (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.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Extent: 1 online resource (xi, 325 pages), illustrations
• Subjects: 005.1; Computer science; Software engineering -- Congresses; Computer software -- Reliability -- Congresses; Computer software -- Reliability; Software engineering; Computers -- Programming -- General; Computers -- Programming Languages -- General; Computers -- Computer Simulation; Computers -- Expert Systems; Computer programming / software development; Programming & scripting languages: general; Computer modelling & simulation; Expert systems / knowledge-based systems; Software engineering; Logic design; Computer simulation; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319296289; 3319296280; 3319296272; 9783319296272
• Related ISBNs: 9783319296272
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed March 1, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.