1304 search results - page 108 / 261 » RTOS Modeling for System Level Design |
136
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
118
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
159
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
130
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...