4799 search results - page 6 / 960 » Model Based Requirements Engineering for Embedded Software |
ICRE
1998
IEEE
13 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
WISES
2003
13 years 8 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...
RE
2009
Springer
14 years 1 months ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...