Research Output 1988 2017

Filter
Chapter
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
research
software ergonomics
development planning
scientific community
2008
15 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, deel 1. Heerlen: Open Universiteit, p. 73-116

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

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