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

Access provided by Autonomous University of Puebla

Download book PDF

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)

Buy print copy

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

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.

Similar content being viewed by others

Keywords

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
    Download chapter PDF

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

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

  4. Unifying Theories of Programming in Isabelle

    • Simon Foster, Jim Woodcock
    Pages 109-155
    Download chapter PDF

  5. FORMULA 2.0: A Language for Formal Specifications

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

  6. Formal Modelling, Analysis and Verification of Hybrid Systems

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

  7. Back Matter

    Download chapter PDF
Back to top

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