The Causality Workbench project is an environment to test causal discovery algorithms. Via a web portal (http://clopinet.com/causality), it provides a number of resources, includi...
Isabelle Guyon, Alexander Satnikov, Constantin F. ...
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...