Rensink, Arend.
Overview
| Works: | 6 works in 3 publications in 1 languages | |
|---|---|---|
Titles
ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
Katoen, Joost-Pieter.; Langerak, Rom.; Rensink, Arend.; SpringerLink (Online service)
(Electronic resources)
Model-Driven Architecture - Foundations and ApplicationsSecond European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings /
by:
(1998 :); Rensink, Arend.; SpringerLink (Online service); Warmer, Jos.
(Electronic resources)
Model driven architecture - foundations and applications5th European conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 ; proceedings /
by:
(1998 :); Hartman, Alan.; Paige, Richard F.; Rensink, Arend.; SpringerLink (Online service)
(Electronic resources)
Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings /
by:
(1998 :); Rensink, Arend.; Sanchez Cuadrado, Jesus.; SpringerLink (Online service)
(Electronic resources)
Fundamental approaches to software engineering17th 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 /
by:
(1998 :); Gnesi, Stefania.; Rensink, Arend.; SpringerLink (Online service)
(Electronic resources)
Model Driven ArchitectureEuropean MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linko?ping, Sweden, June 10-11, 2004 : revised selected papers /
by:
(1998 :); Aksit, Mehmet.; Assmann, Uwe.; Rensink, Arend.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Model-driven software architecture
Management of Computing and Information Systems.
Computer software
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer architecture
Computer science
Computer Science.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Systems and Data Security.
System Performance and Evaluation.
Object-oriented programming (Computer science)