José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
1
Modular Modelling of Software Product Lines with Feature Nets
SEFM 2011
Feature Petri Nets
SPLCSE 2010
Towards a Theory of Views for Feature Models
SPLCSE 2010
Variability Modelling in the ABS Language
FMCO 2010
Coordination via Interaction Constraints I: Local Logic
ICE 2009
A Framework for Point-Free Program Transformation
IFL 2005
«
Cite
×