Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
Simon Pickin, Claude Jard, Thierry Heuillard, Jean...
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...