Arjan P. van der Meer

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 2

Top Topics

User Experience

Ultra Large Scale

Formal Specification

Top Venues

Publications

Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. FMICS (2022)
Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. CoRR (2022)
Arjan P. van der Meer, Rachid Kherrazi, Neda Noroozi, Anita Wierda
The Synergy Between User Experience Design and Software Testing. SEFM Workshops (2015)
Arjan P. van der Meer, Rachid Kherrazi, Marc Hamilton
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques. MBT (2014)
Mark van den Brand, Arjan P. van der Meer, Alexander Serebrenik, Albert T. Hofkamp
Formally specified type checkers for domain specific languages: experience report. LDTA (2010)
Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik
Type Checking Evolving Languages with MSOS. Semantics and Algebraic Specification (2009)