1669 search results - page 29 / 334 » Structured Specification of Model Interpreters |
137
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
121
click to vote
WSC
2007
15 years 4 months ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
136
click to vote
UTP
2010
15 years 10 days ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
140
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
124
click to vote
ACHI
2008
IEEE
15 years 4 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...