1669 search results - page 10 / 334 » Structured Specification of Model Interpreters |
WER
2001
Springer
13 years 11 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
WSC
2004
13 years 8 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
FBT
1998
13 years 8 months ago
1998
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
AUSAI
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
SOSYM
2002
13 years 7 months ago
2002
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, sema...