4799 search results - page 61 / 960 » Model Based Requirements Engineering for Embedded Software |
ICSE
1994
IEEE-ACM
15 years 1 months ago
1994
IEEE-ACM
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
QOSA
2010
Springer
14 years 11 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
111
click to vote
PPPJ
2004
ACM
15 years 3 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...