• 2783 Citations
  • 25 h-Index
19952020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche

Filtrer
Autre contribution
2013
File
21 Téléchargements (Pure)

Verification for Reliable Product Lines

Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Résultats de recherche: Autre contribution

2012
66 Téléchargements (Pure)

Model Checking for Software Product Lines with SNIP

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P-Y., 2012

Résultats de recherche: Autre contribution

File
118 Téléchargements (Pure)
2011

Proceedings of the 19th IEEE International Requirements Engineering Conference

Heymans, P., Mylopoulos, J. & Fricker, S., 2011

Résultats de recherche: Autre contribution

62 Téléchargements (Pure)
File
259 Téléchargements (Pure)
2010
File
69 Téléchargements (Pure)

The TVL Specification

Classen, A., Boucher, Q., Faber, P. & Heymans, P., 2010

Résultats de recherche: Autre contribution

File
80 Téléchargements (Pure)

Proceedings of the 2nd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2008)

Heymans, P., Kang, K. C., Metzger, A. & Pohl, K., 2008

Résultats de recherche: Autre contribution

2007

Proceedings of the 1st International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2007)

Pohl, K., Heymans, P., Kang, K. C. & Metzger, A., 2007

Résultats de recherche: Autre contribution

MetaL: a formal specification

Englebert, V. & Heymans, P., 2006

Résultats de recherche: Autre contribution

2005

Analysis of KAOS Meta-model

Matulevicius, R. & Heymans, P., 2005

Résultats de recherche: Autre contribution

File
107 Téléchargements (Pure)

KAOS Construct Analysis using the UEML Approach Template

Matulevicius, R. & Heymans, P., 2005

Résultats de recherche: Autre contribution

File
60 Téléchargements (Pure)
2003

Modelling Variability Requirements in Software Product Lines

Trigaux, J-C. & Heymans, P., 2003

Résultats de recherche: Autre contribution

Software Product Lines: State of the art

Trigaux, J-C. & Heymans, P., 2003

Résultats de recherche: Autre contribution