Formal Methods

Formal Requirements Specification

A Formal Semantics for Decision-oriented Variability Modeling with DOPLER

A Framework for Flexible and Dependable Service-oriented Embedded Systems

Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures

Enabling Open Innovation through Agile Development, SINTEF

Evaluation of Knowledge Management Process In Very Small Software Companies: A Survey

On Event-Based Middleware for Location-Aware Mobile Applications

EvoFM: feature-driven planning of product-line evolution

Evolving Critical Systems