Información del autor
Autor Bubel, Richard |
Documentos disponibles escritos por este autor (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
texto impreso
Wong, Peter Y. H. ; Bubel, Richard ; Boer, Frank S. de ; Gómez Zamalloa, Miguel ; Gouw, Stijn de ; Hähnle, Reiner ; Meinke, Karl ; Sindhu, Muddassar Azam | Springer Verlag | 2015-02We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature [...]