809 search results - page 67 / 162 » Formal Semantics for the Java Modeling Language |
220
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
107
Voted
SDB
1995
15 years 6 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
89
Voted
EXPERT
2008
15 years 2 months ago
2008
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
120
click to vote
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
107
Voted
ACMSE
2010
ACM
15 years 17 days ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...