1326 search results - page 215 / 266 » Semantic Coherence in Software Engineering |
130
click to vote
FOSSACS
2009
Springer
16 years 25 days ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
180
click to vote
ISORC
2007
IEEE
16 years 9 days ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
152
click to vote
DEXA
2007
Springer
16 years 6 days ago
2007
Springer
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
153
click to vote
ECOOP
2007
Springer
16 years 6 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...
156
click to vote
FOSSACS
2007
Springer
16 years 6 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...