3429 search results - page 316 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
136
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
161
click to vote
ER
1993
Springer
15 years 9 months ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
130
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
143
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
150
click to vote
FMOODS
2007
15 years 6 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...