4008 search results - page 259 / 802 » An expressive language of signatures |
180
click to vote
WS
2008
ACM
15 years 6 months ago
2008
ACM
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
199
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
181
click to vote
FOAL
2009
ACM
16 years 1 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
137
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
The heterogeneity of architectural constraint languages makes diļ¬cult the transformation of architectural constraints throughout the development process. Indeed they have signiļ...
170
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our speciļ¬c calculus has letrec as cyclic let, data constructors, ...