macrophage 发表于 2025-3-26 20:57:31
Modelling Layered Component Execution Environments for Performance Predictionementations of a layer must be compared to make a design decision, e.g. when comparing different Java Virtual Machines. In this paper, we present an extension of an established model-based performance prediction approach and associated tools which allow to model and predict state-of-the-art layered并入 发表于 2025-3-27 04:49:52
Services + Components = Data Intensive Scientific Workflow Applications with MeDICi-based technologies, and employs an efficient integration mechanism to ensure large data sets can be efficiently processed. We illustrate the use of MeDICi with a climate data processing example that we have built, and describe some of the new features we are creating to further enhance MeDICi Workfcomely 发表于 2025-3-27 06:43:51
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementationsels, while theoretically inter-dependent, are actually completely independent in semantics and from the point of view of the tools in pervasive use. Entities in different layers have no formal relationship; at best, informal relations are maintained by ad hoc approaches like code markers, or code isFOVEA 发表于 2025-3-27 12:18:31
Conference proceedings 2009r’s submissions represent a cross-section of CBSE - search that touches upon all these aspects. The theoretical foundations of c- ponent speci?cation, composition, analysis, and veri?cation continue to pose research challenges. What exactly constitutes an adequate semantics for c- munication and com娴熟 发表于 2025-3-27 16:46:02
On Component Identification Approaches – Classification, State of the Art, and Comparison software development process. Accordingly, the issue of how to analyze design models in order to systematically derive a set of components constitutes a research question which has been investigated repeatedly. Component identification approaches that have been published in literature, however, makEXALT 发表于 2025-3-27 19:45:27
Domain-Specific Software Component Modelselieve that current component models intended for specific domains are actually not domain-specific. In this paper we present an approach for deriving domain-specific component models from the domain model of a given domain, and show why such a component model is better than existing models that are小画像 发表于 2025-3-28 00:35:16
http://reply.papertrans.cn/24/2318/231793/231793_37.pngIngrained 发表于 2025-3-28 03:05:27
Process Patterns for Component-Based Software Development risks involved in systems development. It has therefore spawned many widely-used approaches, such as Commercial Off-The-Shelf (COTS) and software product lines. On the other hand, in order to gain a competitive edge, organizations need to define custom processes tailored to fit their specific develOTHER 发表于 2025-3-28 07:21:11
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Supportntroduced to gracefully deal with failures in the components. In this paper, we address an important issue in the approach: how to select the most suitable fault-tolerant mechanisms for a given application in a specific context. To alleviate the difficulty in the selection, these mechanisms are abst我吃花盘旋 发表于 2025-3-28 12:12:53
http://reply.papertrans.cn/24/2318/231793/231793_40.png