Management of extra-functional properties in component models is one of the main challenges in the component-based software engineering community. Still, the starting point in thei...
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...