wolfgang-grieskamp documents

Instrumenting scenarios in a model-driven development environment
Documents Instrumenting scenarios in a model-driven development environment
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components
Documents Specifying embedded systems with statecharts and Z: an agenda for cyclic software components
Model-based quality assurance of protocol documentation: tools and methodology
Documents Model-based quality assurance of protocol documentation: tools and methodology
Amost 2011 keynote
Engineering Amost 2011 keynote