3765 search results - page 91 / 753 » Formal Methods for Systems Engineering Behavior Models |
141
Voted
VRML
2003
ACM
15 years 7 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
129
Voted
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
133
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
116
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
144
click to vote
RE
1999
Springer
15 years 6 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...