6201 search results - page 150 / 1241 » Implementation of Axiomatic Language |
148
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...
122
click to vote
LPNMR
1990
Springer
15 years 8 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
154
click to vote
JLP
2006
15 years 4 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
122
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
In consequence of changing requirements and technological progress, software languages are subject to change. The changes affect the language’s specification, which in turn a...
150
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...