3425 search results - page 445 / 685 » A Model Driven Approach for Software Systems Reliability |
141
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
158
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...
145
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
129
click to vote
BCSHCI
2008
15 years 5 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
137
click to vote
ICFCA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...