Amazon cover image
Image from Amazon.com

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

By: International Training School on Software Engineering (2013 : Shanghai, China)Contributor(s): Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | ICTAC (Colloquium) (10th : 2013 : Shanghai, China)Material type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 8050. | Lecture notes in computer science. Tutorial. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Description: 1 online resource (viii, 281 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642397219; 3642397212Subject(s): Software engineering -- Congresses | Computer programming -- Congresses | Software | Computer programming | Software engineeringGenre/Form: Congress. | Electronic books. | Ebook. | Conference papers and proceedings. Additional physical formats: Print version:: Unifying theories of programming and formal engineering methodsDDC classification: 005.3 LOC classification: QA76.758NLM classification: QA 76.758Online resources: Click here to access online
Contents:
rCOS: Defining Meanings of Component-Based Software Architectures / Ruzhen Dong, Johannes Faber, Wei Ke, and Zhiming Liu -- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems / Uli Fahrenberg, Kim G. Larsen, and Axel Legay -- Unifying Theories of Programming in Isabelle / Simon Foster and Jim Woodcock -- FORMULA 2.0: A Language for Formal Specifications / Ethan K. Jackson and Wolfram Schulte -- Formal Modelling, Analysis and Verification of Hybrid Systems / Naijun Zhan, Shuling Wang, and Hengjun Zhao.
Summary: 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 andHe's Unifying Theories of Programming.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

rCOS: Defining Meanings of Component-Based Software Architectures / Ruzhen Dong, Johannes Faber, Wei Ke, and Zhiming Liu -- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems / Uli Fahrenberg, Kim G. Larsen, and Axel Legay -- Unifying Theories of Programming in Isabelle / Simon Foster and Jim Woodcock -- FORMULA 2.0: A Language for Formal Specifications / Ethan K. Jackson and Wolfram Schulte -- Formal Modelling, Analysis and Verification of Hybrid Systems / Naijun Zhan, Shuling Wang, and Hengjun Zhao.

Includes bibliographical references and index.

Print version record.

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 andHe's Unifying Theories of Programming.

Powered by Koha