A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
The primary business problem that a Learning Content Management System faces is to create just enough content, just in time, meeting the needs of different types of learners. A po...
Freddy Duitama, Bruno Defude, Amel Bouzeghoub, Cla...
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...