148 search results - page 19 / 30 » Model-based Programming Environment of Embedded Software for... |
147
click to vote
LCTRTS
2010
Springer
16 years 19 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
142
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
155
click to vote
SCOPES
2005
Springer
15 years 11 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
199
click to vote
ADAEUROPE
2008
Springer
16 years 5 days ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
184
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...