4212 search results - page 354 / 843 » Rights Expression Languages |
147
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
176
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
181
Voted
IJMSO
2006
15 years 6 months ago
2006
: Metadata is used to describe documents and applications, improving information seeking and retrieval and its understanding and use. Metadata can be expressed in a wide variety of...
178
click to vote
JAPLL
2008
15 years 6 months ago
2008
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to ge...