3765 search results - page 110 / 753 » Formal Methods for Systems Engineering Behavior Models |
133
click to vote
ISSS
2002
IEEE
15 years 7 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
103
click to vote
WACC
1999
ACM
15 years 6 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
107
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
137
click to vote
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
122
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...