Flash drive memory apparatus and method

A Formal Approach to Reuse Successful Traceability Practices in SPL Projects

A Formal Approach to Self-configurable Swarm-based Space-exploration Systems

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