6291 search results - page 15 / 1259 » Components Are from Mars |
ENTCS
2007
14 years 9 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
PDP
2003
IEEE
15 years 2 months ago
2003
IEEE
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
91
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we present a methodology and set of tools which assist the construction of applications from components, by separating the issues of transmission policy from compone...
EMISA
2005
Springer
15 years 3 months ago
2005
Springer
Stable component models are an essential prerequisite for developing customer-individual business applications. Thereby the information for the identification and specification of ...