3514 search results - page 416 / 703 » Evolving Specification Engineering |
181
Voted
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
181
Voted
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
171
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
154
click to vote
ACL
2008
15 years 8 months ago
2008
Developing a full coreference system able to run all the way from raw text to semantic interpretation is a considerable engineering effort. Accordingly, there is very limited avai...
175
click to vote
MKWI
2008
15 years 8 months ago
2008
: Even though end-user participation in requirements engineering (RE) is highly important, it is at present not frequently used. Reasons can be found in the large expenditure of ti...