Description |
1 online resource (viii, 281 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 8050 |
|
Lecture notes in computer science. Tutorial |
|
LNCS sublibrary: SL 1 - Theoretical computer science and general issues |
|
Lecture notes in computer science ; 8050.
|
|
Lecture notes in computer science. Tutorial.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
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 |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Software engineering -- Congresses
|
|
Computer programming -- Congresses
|
|
Software
|
|
software.
|
|
Computer programming
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Liu, Zhiming, 1961- editor.
|
|
Woodcock, Jim, editor
|
|
Zhu, Huibiao, editor
|
|
ICTAC (Colloquium) (10th : 2013 : Shanghai, China)
|
ISBN |
9783642397219 |
|
3642397212 |
|