1988 search results - page 253 / 398 » Engineering formal metatheory |
161
click to vote
ECOOP
2007
Springer
16 years 21 days 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...
158
click to vote
ER
2007
Springer
16 years 21 days ago
2007
Springer
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
161
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
151
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
157
click to vote
GPCE
2007
Springer
16 years 20 days ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...