4799 search results - page 648 / 960 » Model Based Requirements Engineering for Embedded Software |
179
click to vote
TCAD
2010
15 years 1 months ago
2010
The Monte-Carlo (MC) technique is a traditional solution for a reliable statistical analysis, and in contrast to probabilistic methods, it can account for any complicate model. How...
185
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
196
click to vote
CBSE
2004
Springer
16 years 2 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
199
click to vote
MATES
2004
Springer
16 years 1 days ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
160
click to vote
IOLTS
2005
IEEE
16 years 8 days ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...