436 search results - page 6 / 88 » Specification of modelling languages in a flexible meta-mode... |
UML
2001
Springer
14 years 26 days ago
2001
Springer
The Meta-Modeling Language is a static object-oriented modeling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
RULEML
2009
Springer
14 years 3 months ago
2009
Springer
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
