Unifying Theories of Programming and Formal Engineering Methods.pdf

Unifying Theories of Programming and Formal Engineering Methods

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and Hes Unifying Theories of Programming.

He Jifeng is known for his seminal work in the theories of programming and formal methods for software engineering. He is particularly associated with Unifying Theories of Programming (UTP) , the theory of data refinement and the laws of programming, and the rCOS formal method for object and component system construction. His book on UTP with Tony Hoare has been widely …

4.34 MB DATEIGRÖSSE
3642397204 ISBN
Englisch SPRACHE
Unifying Theories of Programming and Formal Engineering Methods.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im Hugendubel.de-Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofia Voigt

Unifying Theories of Programming and Formal … Book Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC by Zhiming Liu, Jim Woodcock, Huibiao Zhu - …

avatar
Matteo Müller

Unifying Theories of Programming and Formal Engineering Methods von Zhiming Liu, Jim Woodcock, Huibiao Zhu (ISBN 978-3-642-39720-2) bestellen. Schnelle Lieferung, auch auf Rechnung - lehmanns.de

avatar
Noel Schulze

Unifying Theories of Programming and Formal … Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, Lectures Lecture Notes in Computer Science: Amazon.es: Liu, Zhiming, Woodcock, Jim, Zhu, Huibiao: Libros en …

avatar
Jason Lehmann

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at …

avatar
Jessica Kohmann

Pointers to resources about correctness proofs and program verification. Formal Methods : Related ... A "Grand Challenge'': Unifying Theories of Formal Methods