rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Unifying Theories of Programming and Formal Engineering Methods
    sub title: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
  name:
    name part: Liu, Zhiming.
    role:
      role term: editor.
  name:
    name part: Woodcock, Jim.
    role:
      role term: editor.
  name:
    name part: Zhu, Huibiao.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2013
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 283 p. 50 illus. online resource.
  abstract: 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.
  table of contents: rCOS: Defining Meanings of Component-Based Software Architectures -- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems -- Unifying Theories of Programming in Isabelle -- FORMULA 2.0: A Language for Formal Specifications -- Formal Modelling, Analysis and Verification of Hybrid Systems.
  note: edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computers
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Theory of Computation
  subject:
    topic: Software Engineering
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  classification: QA75.5-76.95
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 8050
  identifier: 9783642397219
  identifier: http://dx.doi.org/10.1007/978-3-642-39721-9
  record info:
    record creation date: 130821
    record change date: 20151031151021.0
    record identifier: 978-3-642-39721-9