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: Theory and Practice of Model Transformations
    sub title: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
  name:
    name part: Vallecillo, Antonio.
    role:
      role term: editor.
  name:
    name part: Gray, Jeff.
    role:
      role term: editor.
  name:
    name part: Pierantonio, Alfonso.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2008
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 261 p. online resource.
  abstract: This book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008. The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.
  table of contents: Process and Engineering of Model Transformations -- Transformations Have to be Developed ReST Assured -- Lifting Transformational Models of Product Lines: A Case Study -- Model Synchronisation: Definitions for Round-Trip Engineering -- The Epsilon Transformation Language -- Model Transformations Supporting Concurrency and Time -- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? -- On Specifying and Visualising Long-Running Empirical Studies -- Programmed Graph Rewriting with Time for Simulation-Based Design -- Matching and Mapping within Model Transformation Rules -- Live Model Transformations Driven by Incremental Pattern Matching -- Semantics-Based Weaving of UML Sequence Diagrams -- Translation of QVT Relations into QVT Operational Mappings -- Language Support for Model Transformation Reuse and Modularity -- Composition Techniques for Rule-Based Model Transformation Languages -- Approaches for Model Transformation Reuse: Factorization and Composition -- Code Generation by Model Transformation -- Application of Reflection in Model Transformation Languages -- Correctness and Analysis of Model Transformations -- Proofs-as-Model-Transformations -- Analysing Graph Transformation Rules through OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations.
  note: edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio.
  subject:
    topic: Computer science
  subject:
    topic: Computers
  subject:
    topic: Computer Science
  subject:
    topic: Theory of Computation
  subject:
    topic: Computer Science, general
  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, 5063
  identifier: 9783540699279
  identifier: http://dx.doi.org/10.1007/978-3-540-69927-9
  record info:
    record creation date: 100301
    record change date: 20151204171920.0
    record identifier: 978-3-540-69927-9