523 search results - page 34 / 105 » Embedded Software Development with Projectional Language Wor... |
106
click to vote
SERP
2008
15 years 3 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
152
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
144
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
SIGMOD
1997
ACM
15 years 6 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
124
click to vote
MBEES
2010
15 years 3 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...