234 search results - page 9 / 47 » Validation of requirement models by automatic prototyping |
114
Voted
SIES
2007
IEEE
15 years 5 months 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 ...
80
Voted
EMSOFT
2008
Springer
15 years 19 days ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
96
Voted
RSP
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
105
click to vote
RSP
2003
IEEE
15 years 4 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
83
Voted
IUI
2006
ACM
15 years 4 months ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...