Sciweavers

647 search results - page 87 / 130
» An Approach to Relate Viewpoints and Modeling Languages
Sort
View
ECMDAFA
2005
Springer
125views Hardware» more  ECMDAFA 2005»
15 years 5 months ago
Making Metamodels Aware of Concrete Syntax
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
Frédéric Fondement, Thomas Baar
GFKL
2006
Springer
78views Data Mining» more  GFKL 2006»
15 years 3 months ago
Putting Successor Variety Stemming to Work
Stemming algorithms find canonical forms for inflected words, e. g. for declined nouns or conjugated verbs. Since such a unification of words with respect to gender, number, time, ...
Benno Stein, Martin Potthast
FOSSACS
2009
Springer
15 years 6 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
15 years 5 months ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
CSAC
2006
15 years 1 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid