4476 search results - page 573 / 896 » A flexible framework for engineering |
216
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
149
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
Connectors are used to realize component interactions in component systems. Apart from their primary function, which is mediating the communication, their implementation can also s...
149
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (messag...
190
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
175
click to vote
EWSPT
2000
Springer
15 years 10 months ago
2000
Springer
The V-Model 97 is a widely used process model in Germany and Europe. It is the development standard for IT-Systems of the Federal Republic of Germany and the basis of Austria'...