Combining Declarative and Procedural Views in the Specification and Analysis of Product Families

Maurice Ter Beek; Alberto Lluch Lafuente; Marinella Petrocchi

Combining Declarative and Procedural Views in the Specification and Analysis of Product Families

Maurice Ter Beek, Alberto Lluch Lafuente, Marinella Petrocchi

Research output: Contribution to conference › Paper › Research › peer-review

Original language	English
Publication date	2013
Publication status	Published - 2013
Externally published	Yes
Event	4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering - Tokyo, Japan Duration: 27 Aug 2013 → 27 Aug 2013 Conference number: 4

Workshop

Workshop	4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
Number	4
Country/Territory	Japan
City	Tokyo
Period	27/08/2013 → 27/08/2013

OpenUrl availability

Full text

Cite this

@conference{5e21104540c741a3a2fb617023b9ad38,

title = "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families",

author = "{Ter Beek}, Maurice and {Lluch Lafuente}, Alberto and Marinella Petrocchi",

year = "2013",

language = "English",

note = "4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE'13 ; Conference date: 27-08-2013 Through 27-08-2013",

}

Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. / Ter Beek, Maurice; Lluch Lafuente, Alberto; Petrocchi, Marinella.

2013. Paper presented at 4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Tokyo, Japan.

Research output: Contribution to conference › Paper › Research › peer-review

TY - CONF

T1 - Combining Declarative and Procedural Views in the Specification and Analysis of Product Families

AU - Ter Beek, Maurice

AU - Lluch Lafuente, Alberto

AU - Petrocchi, Marinella

N1 - Conference code: 4

PY - 2013

Y1 - 2013

M3 - Paper

T2 - 4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering

Y2 - 27 August 2013 through 27 August 2013

ER -