|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
Managing evolution in software product lines: a model-checking perspective.  |
VaMoS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen, Quentin Boucher, Patrick Heymans |
A text-based approach to feature modelling: Syntax and semantics of TVL. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay |
Symbolic model checking of software product lines. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher |
A formal semantics for feature cardinalities in feature diagrams. |
VaMoS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau |
Tag and prune: a pragmatic approach to software product line implementation. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin |
Model checking lots of systems: efficient verification of temporal properties in software product lines. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
specification, software product lines, features |
| 1 | Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans |
A Preliminary Review on the Application of Feature Diagrams in Practice. |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans |
Introducing TVL, a Text-based Feature Modelling. |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christophe Gauthier, Andreas Classen, Quentin Boucher, Patrick Heymans, Margaret-Anne D. Storey, Marcílio Mendonça |
XToF - A Tool for Tag-based Product Line Implementation. |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Hubaux, Andreas Classen, Patrick Heymans |
Formal modelling of feature configuration workflows. |
SPLC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans |
Relating requirements and feature configurations: a systematic approach. |
SPLC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt |
Feature Diagrams for Change-Oriented Programming. |
ICFI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen, Arnaud Hubaux, Patrick Heymans |
Analysis of Feature Configuration Workflows. |
RE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh |
Towards safer composition. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen, Arnaud Hubaux, Patrick Heymans |
A Formal Semantics for Multi-level Staged Configuration. |
VaMoS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen |
Evaluating formal properties of feature diagram languages. |
IET Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens |
What's in a Feature: A Requirements Engineering Perspective. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen |
Problem-Oriented Feature Interaction Detection in Software Product Lines. |
ICFI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun |
On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. |
VaMoS |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")