9455 search results - page 445 / 1891 » The Modelling Language Zinc |
201
click to vote
APLAS
2004
ACM
16 years 1 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
217
click to vote
ISORC
2000
IEEE
16 years 1 days ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
215
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
182
click to vote
COLING
2008
15 years 9 months ago
2008
Multilinguality in ontologies has become an impending need for institutions worldwide with valuable linguistic resources in different natural languages. Since most ontologies are ...
214
click to vote
FORTE
2007
15 years 9 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...