Comparing Apples with Oranges? The Perceived Differences between Agile and Lean Software Development Processes

Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

An aspect-oriented, model-driven approach to functional hardware verification

Assessing architectural drift in commercial software development: a case study

An ASSL Approach to Handling Uncertainty in Self-adaptive Systems

The ASSL Approach to Specifying Self-Managing Embedded Systems

Automated Refactoring for Testability

Bayesian kernel projections for classification of high dimensional data

Beyond Similarity-Based recommenders: Preference relaxation and product awareness E-Commerce and web technologies

An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker