10 search results - page 1 / 2 » sefm 2006 |
SEFM
2006
IEEE
13 years 10 months ago
2006
IEEE
SEFM
2006
IEEE
13 years 10 months ago
2006
IEEE
SEFM
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
SEFM
2006
IEEE
13 years 10 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
SEFM
2006
IEEE
13 years 10 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...