Skip to main content
SpringerLink
Log in

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

  • Textbook
  • © 2013

Overview

Editors:
  1. Zhiming Liu

    1. International Institute for Software Technology, United Nations University, Macau, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jim Woodcock

    1. Department of Computer Science, University of York, York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Huibiao Zhu

    1. Software Engineering Institute, East China Normal University, Shanghai, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Thoroughly revised tutorial lectures
  • Aimed at postgraduate students, researchers, academics, and industrial engineers
  • Presents state of the art in Unifying Theories of Programming and Formal Engineering Methods

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8050)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 chapters)

  1. Front Matter

    Download chapter PDF

  2. rCOS: Defining Meanings of Component-Based Software Architectures

    • Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu
    Pages 1-66

  3. Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

    • Uli Fahrenberg, Kim G. Larsen, Axel Legay
    Pages 67-108

  4. Unifying Theories of Programming in Isabelle

    • Simon Foster, Jim Woodcock
    Pages 109-155

  5. FORMULA 2.0: A Language for Formal Specifications

    • Ethan K. Jackson, Wolfram Schulte
    Pages 156-206

  6. Formal Modelling, Analysis and Verification of Hybrid Systems

    • Naijun Zhan, Shuling Wang, Hengjun Zhao
    Pages 207-281

  7. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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

Editors and Affiliations

  • International Institute for Software Technology, United Nations University, Macau, China

    Zhiming Liu

  • Department of Computer Science, University of York, York, York, UK

    Jim Woodcock

  • Software Engineering Institute, East China Normal University, Shanghai, China

    Huibiao Zhu

Bibliographic Information

  • Book Title: Unifying Theories of Programming and Formal Engineering Methods

  • Book Subtitle: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

  • Editors: Zhiming Liu, Jim Woodcock, Huibiao Zhu

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-39721-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-39720-2Published: 19 July 2013

  • eBook ISBN: 978-3-642-39721-9Published: 21 August 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 283

  • Number of Illustrations: 50 b/w illustrations

  • Topics: Theory of Computation, Software Engineering, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation