3185 search results - page 276 / 637 » Principles for modeling language design |
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
ADVIS
2006
Springer
14 years 2 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
OTM
2004
Springer
14 years 1 months ago
2004
Springer
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
IFIP
2009
Springer
13 years 6 months ago
2009
Springer
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...