1669 search results - page 48 / 334 » Structured Specification of Model Interpreters |
135
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
111
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
126
click to vote
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
143
Voted
IAJIT
2010
15 years 1 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
153
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...