59 search results - page 1 / 12 » A Framework for Modeling the Semantics of Expression Evaluat... |
ASM
2003
ASM
13 years 11 months ago
2003
ASM
SPIN
2007
Springer
14 years 2 days ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
ASM
2008
ASM
13 years 8 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
SIMVIS
2004
13 years 7 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
ATVA
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...