4919 search results - page 728 / 984 » A Process-Ontological Model for Software Engineering |
137
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
164
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
135
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...
128
click to vote
CASCON
2006
15 years 5 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
116
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...