2373 search results - page 211 / 475 » The Design of the Zinc Modelling Language |
151
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
143
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
188
click to vote
IS
2010
15 years 5 months ago
2010
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
285
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
170
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...