Research Output 1988 2018

Filter
Book editing
2017

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A. 2017 Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: ScientificBook editing

Formal methods
Terminology
Computer science
Dynamical systems
Semantics
2014

Fundamental Approaches to Software Engineering

Gnesi, S. (ed.), Rensink, A. (ed.) & Unknown, . U. Apr 2014 Berlin: Springer Verlag. 429 p. (Lecture Notes in Computer Science; no. 8411)

Research output: ScientificBook editing

Software engineering
2010

Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

Ehrig, H. (ed.), Rensink, A. (ed.), Rozenberg, G. (ed.) & Schürr, A. (ed.) 2010 Berlin: Springer Verlag. 418 p. (Lecture Notes in Computer Science; vol. 6372)

Research output: ScientificBook editing

Graph transformation

Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain

Mazanek, S., Rensink, A. (ed.) & van Gorp, P. (ed.) Jun 2010 Enschede: Centre for Telematics and Information Technology (CTIT). 207 p. (CTIT Workshop Proceedings Series; vol. 10-03)

Research output: ScientificBook editing

2009
1 Citations

Model Driven Architecture - Foundations and Applications

Paige, R. F. (ed.), Hartman, A. (ed.) & Rensink, A. (ed.) 2009 Berlin: Springer Verlag. 337 p. (Lecture Notes in Computer Science; vol. 5562)

Research output: ScientificBook editing

2006

Model Driven Architecture - Foundations and Applications

Rensink, A. (ed.) & Warmer, J. (ed.) Jul 2006 Berlin: Springer Verlag. 392 p. (Lecture Notes in Computer Science; vol. 4066, no. 2/4066)

Research output: ScientificBook editing

Industry
Software engineering
2005

Model Driven Architecture

Aßmann, U., Aksit, M. (ed.) & Rensink, A. (ed.) 2005 Berlin / Heidelberg: Springer Verlag. 233 p. (Lecture Notes in Computer Science; vol. 3599, no. 3599)

Research output: ScientificBook editing

2002

Formal Methods for Open Object-Based Distributed Systems V

Jacobs, B. (ed.) & Rensink, A. (ed.) 2002 Dordrecht: Kluwer Academic Publishers. 296 p. (IFIP Conference Proceedings; vol. 209)

Research output: ScientificBook editing

Formal methods