186 search results - page 29 / 38 » Compositional modeling and refinement for hierarchical hybri... |
119
click to vote
RE
2006
Springer
14 years 11 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
LICS
1996
IEEE
15 years 3 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
105
click to vote
HCI
2007
15 years 1 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...