In this session we present recent work in Delta Modeling. Delta Modeling is an approach towards modeling variability in software product lines. We will present the Delta Modeling Workflow (DMW), a formal step-by-step guide towards building a software product line from scratch. An approach that enjoys several beneficial properties. For …
read moreOther presentations
Delta Modeling
A software product line (SPL) is a family of software systems with well defined commonalities and variabilities. These systems (products) are uniquely identified by a set of features. But a feature is merely a label. To attach semantics to features, the code base for an SPL should be organized in …
read moreMist: The Programming Language
In this meeting we would like to discuss the development of the Mist programming language. Our goal is to create a new programming language with many promising features, prominently among them an integrated proof framework. The hope is to automatically generate formal proof of correctness, rather than relying solely on …
read more
Page 1 / 1