Bokus

Arend Rensink – författare

Visar alla böcker från författaren Arend Rensink. Handla med fri frakt och snabb leverans.

19 produkter

  1. Arend Rensink, Bart Jacobs - Formal Methods for Open Object-Based Distributed Systems V, E-bok. Tillgänglighet: Lägg i varukorg

    Formal Methods for Open Object-Based Distributed Systems V

    IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

    Av Arend Rensink, Bart Jacobs

    E-bok, 2013

    1502 kr

    Lägg i varukorg

    Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links …

  2. Bart Jacobs, Arend Rensink, Bart Jacobs, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V, Inbunden. Tillgänglighet: Lägg i varukorg

    Formal Methods for Open Object-Based Distributed Systems V

    IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

    Av Bart Jacobs, Arend Rensink m. fl.

    Inbunden, 2002

    1130 kr

    Lägg i varukorg

    Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links …

  3. Bart Jacobs, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based D. Tillgänglighet: Lägg i varukorg

    Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based D

    Av Bart Jacobs, Arend Rensink

    2013

    672 kr

    Lägg i varukorg

  4. Bart Jacobs, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods for Open Object-Based Distributed Systems V

    IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

    Av Bart Jacobs, Arend Rensink

    Häftad, 2013

    1130 kr

    Lägg i varukorg

    Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links …

  5. Massimo Mecella, Arend Rensink, Leszek Maciaszek - Software Technologies, Häftad. Tillgänglighet: Lägg i varukorg

    Software Technologies

    20th International Conference, ICSOFT 2025, Bilbao, Spain, June 10–12, 2025, Revised Selected Papers

    Av Massimo Mecella, Arend Rensink m. fl.

    Häftad, 2026

    679 kr

    Lägg i varukorg

    This book constitutes the refereed post proceedings of the 20th International Conference on Software Technologies, ICSOFT 2025, held in Bilbao, Spain, during June 10–12, 2025.The 6 full papers and 3 short papers included in this book were carefully reviewed and selected from 78 submissions. They …

  6. Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd, Häftad. Tillgänglighet: Lägg i varukorg

    ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

    Av Joost-Pieter Katoen, Rom Langerak m. fl.

    Häftad, 2017

    569 kr

    Lägg i varukorg

    This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all …

  7. Arend Rensink, Rom Langerak, Joost-Pieter Katoen - ModelEd, TestEd, TrustEd, E-bok. Tillgänglighet: Lägg i varukorg

    ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

    Av Arend Rensink, Rom Langerak m. fl.

    E-bok, 2017

    755 kr

    Lägg i varukorg

    This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed''s former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all …

  8. Arend Rensink, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation, Häftad. Tillgänglighet: Lägg i varukorg

    Theory and Practice of Model Transformation

    11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

    Av Arend Rensink, Jesús Sánchez Cuadrado

    Häftad, 2018

    569 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. …

  9. Jesus Sanchez Cuadrado, Arend Rensink - Theory and Practice of Model Transformation, E-bok. Tillgänglighet: Lägg i varukorg

    Theory and Practice of Model Transformation

    11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

    Av Jesus Sanchez Cuadrado, Arend Rensink

    E-bok, 2018

    739 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. …

  10. Uwe Aßmann, Mehmet Aksit, Arend Rensink - Model Driven Architecture, Häftad. Tillgänglighet: Lägg i varukorg

    Model Driven Architecture

    European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers

    Av Uwe Aßmann, Mehmet Aksit m. fl.

    Häftad, 2005

    569 kr

    Lägg i varukorg

    Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the speci?cation of system functionality from the implementation on a speci?c platform. It is aimed at making software assets more resilient to …

  11. Arend Rensink, Mehmet Aksit, Uwe Amann - Model Driven Architecture, E-bok. Tillgänglighet: Lägg i varukorg

    Model Driven Architecture

    European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers

    Av Arend Rensink, Mehmet Aksit m. fl.

    E-bok, 2005

    755 kr

    Lägg i varukorg

    Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the speci?cation of system functionality from the implementation on a speci?c platform. It is aimed at making software assets more resilient to …

  12. Arend Rensink, Jos Warmer - Model-Driven Architecture - Foundations and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Model-Driven Architecture - Foundations and Applications

    Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings

    Av Arend Rensink, Jos Warmer

    Häftad, 2006

    569 kr

    Lägg i varukorg

    Model-Driven Architecture,including model-drivenapproaches in general,holds the big promise of moving software development towards a higher level of - straction. Given the challenges in the software industry of delivering more c- plex functionality with less e?ort, I am convinced that it isn't a …

  13. Jos Warmer, Arend Rensink - Model-Driven Architecture - Foundations and Applications, E-bok. Tillgänglighet: Lägg i varukorg

    Model-Driven Architecture - Foundations and Applications

    Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings

    Av Jos Warmer, Arend Rensink

    E-bok, 2006

    755 kr

    Lägg i varukorg

  14. Richard F. Paige, Alan Hartman, Arend Rensink - Model Driven Architecture - Foundations and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Model Driven Architecture - Foundations and Applications

    5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings

    Av Richard F. Paige, Alan Hartman m. fl.

    Häftad, 2009

    569 kr

    Lägg i varukorg

    The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE). MDA is an initiative …

  15. Arend Rensink, Alan Hartman, Richard F. Paige - Model Driven Architecture - Foundations and Applications, E-bok. Tillgänglighet: Lägg i varukorg

    Model Driven Architecture - Foundations and Applications

    5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings

    Av Arend Rensink, Alan Hartman m. fl.

    E-bok, 2009

    755 kr

    Lägg i varukorg

    The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE). MDA is an initiative …

  16. Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr - Graph Transformations, Häftad. Tillgänglighet: Lägg i varukorg

    Graph Transformations

    5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

    Av Hartmut Ehrig, Arend Rensink m. fl.

    Häftad, 2010

    551 kr

    Lägg i varukorg

    Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation …

  17. Andy Schurr, Grzegorz Rozenberg, Arend Rensink, Hartmut Ehrig - Graph Transformations, E-bok. Tillgänglighet: Lägg i varukorg

    Graph Transformations

    5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

    Av Andy Schurr, Grzegorz Rozenberg m. fl.

    E-bok, 2010

    718 kr

    Lägg i varukorg

    Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation …

  18. Stefania Gnesi, Arend Rensink - Fundamental Approaches to Software Engineering, Häftad. Tillgänglighet: Lägg i varukorg

    Fundamental Approaches to Software Engineering

    17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

    Av Stefania Gnesi, Arend Rensink

    Häftad, 2014

    567 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers …

  19. Arend Rensink, Stefania Gnesi - Fundamental Approaches to Software Engineering, E-bok. Tillgänglighet: Lägg i varukorg

    Fundamental Approaches to Software Engineering

    17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

    Av Arend Rensink, Stefania Gnesi

    E-bok, 2014

    755 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers …