Publication
-
January 2014
-
Softwarekwaliteit? Natuurlijk! Magazine Article
January 2014 -
Who's afraid of Object Algebras? Lecture
January 2014
-
Hack your DSL with Rascal Lecture
January 2014
-
FORS: Separating Configuration From Formal Specification Master Thesis
January 2014
-
LAPD: Language-Agnostic Program Database Master Thesis
January 2014
-
Programming with actors in Java 8 In Proceedings
January 2014 -
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS Article
Service Oriented Computing and Applications, 8(4), 323-339.January 2014