The Logic of UTP2

Lower Bounds and Upper Bounds for MaxSAT

Management and Control of Energy Usage and Price using Participatory Sensing Data

Managing complexity and variability of a model-based embedded software product line

Managing Forked Product Variants

Knowledge Representation for Cognitive Robotic Systems

Knowledge Representation for Self-Adaptive Behavior

Knowledge Representation with KnowLang – The marXbot Case Study

{textquotedblleft}Leagile{textquotedblright} software development: An experience report analysis of the application of lean approaches in agile software development

The LEGO Strategy: Guidelines for a Profitable Deployment