4799 search results - page 122 / 960 » Model Based Requirements Engineering for Embedded Software |
EWSA
2005
Springer
15 years 3 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
EUROMICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
CODES
2000
IEEE
15 years 2 months ago
2000
IEEE
In the design of embedded systems-on-chip, the success of a product generation depends on the exibility to accommodate future design changes. This requirement in uences the hardwa...
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...