4799 search results - page 321 / 960 » Model Based Requirements Engineering for Embedded Software |
207
Voted
SIES
2007
IEEE
16 years 29 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
158
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
One of the challenging tasks in code generation for embedded systems is register allocation and assignment, wherein one decides on the placement and lifetimes of variables in regi...
157
click to vote
ECRTS
2005
IEEE
16 years 9 days ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
214
click to vote
WER
2010
Springer
15 years 4 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
173
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...