01379nam a2200325 i 450099100137562970753620020507192336.0990112s1970 de ||| | eng 354005300Xb10838934-39ule_instLE01311333ExLDip.to Matematicaeng514.2AMS 55-06Battelle Memorial Institute16930The Steenrod algebra and its applications :a conference to celebrate N. E. Steenrod's sixtieth birthday :proceedings of the conference held at the Battelle Memorial Institute, Columbus, Ohio, March 30th-April 4th, 1970 /edited by F. P. PetersonBerlin ; New York :Springer-Verlag,1970viii, 317 p. ;26 cmLecture notes in mathematics,0075-8434 ;168Includes bibliographiesSteenrod algebraCongressesSteenrod, Norman Earl, 1910-1971-bibliographySteenrod, Norman EarlPeterson, Franklin P..b1083893423-02-1728-06-02991001375629707536LE013 55-XX PET11 (1970)12013000106649le013-E0.00-l- 00000.i1094872728-06-02Steenrod algebra and its applications923789UNISALENTOle01301-01-99ma -engde 4104085nam 22006015 450 991076751040332120251226200114.03-540-69927-910.1007/978-3-540-69927-9(CKB)1000000000491035(SSID)ssj0000320382(PQKBManifestationID)11262153(PQKBTitleCode)TC0000320382(PQKBWorkID)10247916(PQKB)11427949(DE-He213)978-3-540-69927-9(MiAaPQ)EBC3068589(PPN)127054804(EXLCZ)99100000000049103520100301d2008 u| 0engurnn|008mamaatxtccrTheory and Practice of Model Transformations First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings /edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (XII, 261 p.) Programming and Software Engineering,2945-9168 ;5063Bibliographic Level Mode of Issuance: Monograph3-540-69926-0 Includes bibliographical references and index.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.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.Programming and Software Engineering,2945-9168 ;5063Computer scienceTheory of ComputationComputer ScienceComputer science.Theory of Computation.Computer Science.004.0151Vallecillo Antonio1752361Gray Jeff889877Pierantonio Alfonso1752362MiAaPQMiAaPQMiAaPQBOOK9910767510403321Theory and practice of model transformations4187638UNINA