Interface theories provide the foundation for formally defining and exploiting often implicitly made assumptions about the environment a component is interacting with. This paper develops a procedure for computing analytic input/output bounds for event streams consumed/emitted by the individual components of a system design, allowing to define state-less assume/guarantee (A/G) realtime interfac...

This paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs. On Refinement of Generic State-based Software Components ...

Component-based software development is a promising track in software engineering to improve reuse. This paradigm is based on the unanticipated connection of independently developed black-box components. However, any existing proposals enable connections of components based on their state changes notifications without requiring that specific code related to the connection is integrated into com...

In this paper, I propose a semantics-based IR model, which uses triplet (concept-relationconcept) instead of keywords to index documents. It uses the sense instead of the string of a term to index document, which not only makes the representation more accuracy, but also well solves the synonym problem. More importantly, this model avoids the frequently occurred situation in keywordbased IR mode...

We study the correspondence between phase-space localization of quantum (quasi-)energy eigenstates and classical correlation decay, given by Ruelle-Pollicott resonances of the Frobenius-Perron operator. It will be shown that scarred (quasi-)energy eigenstates are correlated: Pairs of eigenstates strongly overlap in phase space (scar in same phase-space regions) if the difference of their eigene...

Husimi's Q(α) function and quantum interference in phase space Abstract We discuss a phase space description of the photon number distribution of non classical states which is based on Husimi's Q(α) function and does not rely in the WKB approximation. We illustrate this approach using the examples of displaced number states and two photon coherent states and show it to provide an efficient meth...

The structure of the phase space of stationary and quasi-stationary (i.e., uniformly translating) solutions of 1D CGLE is investigated by methods of the qualitative theory of ordinary differential equations. The Nozaki-Bekki holes are seen as heteroclinic connections which are made structurally stable by an involution symmetry in phase space. The existence of a countable set of double-loop hete...

In object-oriented terms, one of the goals of integration testing is to ensure that messages from objects in one class or component are sent and received in the proper order and have the intended effect on the state of external objects that receive the messages. This research extends an existing single-class testing technique to integration testing. The previous method models the behavior of a ...

This paper analyses social policy reform in the past 30 years in Spain from a novel point of view, namely, that of the institutional capabilities of Bismarckian welfare states to reinvent themselves and to successfully adapt to an era of austerity and open economic competition. After a brief introduction aiming at signaling the main characteristics of Spain from the political and economic point...

Modelling complex systems in a coherent and rigorous way is a basic goal in system design. In particular, the integration of specifications could be a problematic operation having potentially severe side effects: when components of a system separately developed are combined together, they may intersect and overlap giving rise to inconsistencies and conflicts which have to be resolved in order t...