267 search results - page 25 / 54 » Cross-Platform Development: Software that Lasts |
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
DAIS
2008
14 years 11 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...
MODELLIERUNG
2001
14 years 11 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
FTRTFT
1998
Springer
15 years 1 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
73
Voted
WSC
1990
14 years 10 months ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...