4799 search results - page 40 / 960 » Model Based Requirements Engineering for Embedded Software |
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
107
click to vote
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
EMSOFT
2006
Springer
14 years 11 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...