523 search results - page 65 / 105 » Embedded Software Development with Projectional Language Wor... |
108
click to vote
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
105
click to vote
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
106
click to vote
DASIP
2010
14 years 9 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
148
click to vote
CSEE
2000
Springer
15 years 6 months ago
2000
Springer
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects they have to successfully shift to the OO paradigm,...
138
click to vote
ASWSD
2004
Springer
15 years 7 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...