Research Output 1988 2018

Filter
Chapter
2017

How much are your geraniums? Taking graph conditions beyond first Order

Rensink, A. 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer Verlag, Vol. 10500 LNCS, p. 191-213 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS)

Research output: Scientific - peer-reviewChapter

2016
2 Citations

Model Patterns - The Quest for the Right Level of Abstraction

Rensink, A. Sep 2016 Transactions on Foundations for Mastering Change I. Steffen, B. (ed.). Berlin: Springer Verlag, p. 47-70 24 p. (Lecture Notes in Computer Science; vol. 9960, no. 9960)

Research output: Scientific - peer-reviewChapter

2010
8 Citations

The Edge of Graph Transformation - Graphs for Behavioural Specification

Rensink, A. Nov 2010 Graph Transformations and Model-Driven Engineering. Engels, G., Lewerentz, C., Schäfer, W., Schürr, A. & Westfechtel, B. (eds.). Berlin: Springer Verlag, p. 6-32 27 p. (Lecture Notes in Computer Science; vol. 5765, no. 5765)

Research output: Scientific - peer-reviewChapter

transformation
software ergonomics
development planning
scientific community
selling
2008
20 Citations

Explicit State Model Checking for Graph Grammars

Rensink, A. Jun 2008 Concurrency, Graphs and Models. de Nicola, R., Degano, P. & Meseguer, J. (eds.). Berlin: Springer Verlag, p. 114-132 19 p. 10.1007/978-3-540-68679-8_8. (Lecture Notes in Computer Science; vol. 5065, no. 274/5065)

Research output: Scientific - peer-reviewChapter

Model checking
2001

Action Refinement

Gorrieri, R. & Rensink, A. 2001 Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: ELSEVIER, p. 1047-1146 100 p.

Research output: Scientific - peer-reviewChapter

Refinement

Action Refinement

Gorrieri, R. & Rensink, A. 2001 Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: ELSEVIER, p. 1047-1147

Research output: ScientificChapter

Klasse- en Objectdiagrammen

Rensink, A. 2001 Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 25-46

Research output: ProfessionalChapter

Objectoriëntatie

Rensink, A. 2001 Visueel Programmeren met Java. Heerlen, Netherlands: Open Universiteit Nederland, p. 73-116 44 p.

Research output: ScientificChapter

Objectoriëntatie

Rensink, A. 2001 Visueel Programmeren met Java, deel 1. Heerlen: Open Universiteit, p. 73-116

Research output: ProfessionalChapter

Representatie van Objecten en Primitieve Waarden

Rensink, A. 2001 Visueel Programmeren met Java. Heerlen, Netherlands: Open Universiteit Nederland, p. 71-138 44 p.

Research output: ScientificChapter

Representatie van Objecten en Primitieve Waarden

Rensink, A. 2001 Visueel Programmeren met Java, deel 2. Heerlen: Open Universiteit, p. 71-138

Research output: ProfessionalChapter

Syntaxis van Java

Rensink, A. 2001 Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 7-24

Research output: ProfessionalChapter

Verklarende Woordenlijst

Rensink, A. 2001 Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 91-97

Research output: ProfessionalChapter

1997

A Typed Functional Calculus With State

Rensink, A. 1997 Special Issues in Object-Oriented Programming. Müllhäuser, M. (ed.). Heidelberg, Germany: D.punkt Verlag, p. 558-561 4 p.

Research output: Scientific - peer-reviewChapter

Functional programming
1992
12 Citations

Posets for Configurations

Rensink, A. 1992 CONCUR '92, Lecture Notes in Computer Science 630. Springer Verlag, p. 269-285

Research output: ScientificChapter