138 search results - page 3 / 28 » Integrating Formal Methods with Model-Driven Engineering |
83
Voted
DLOG
2007
15 years 16 days ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
96
Voted
ZUM
1994
Springer
15 years 2 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
84
Voted
ER
2005
Springer
15 years 3 months ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
134
Voted
AMAST
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
74
Voted
ISSE
2010
14 years 8 months ago
2010