作者: 令人苦惱 時間: 2025-3-21 23:20 作者: preservative 時間: 2025-3-22 02:25 作者: Collision 時間: 2025-3-22 05:45
https://doi.org/10.1007/978-3-0348-7640-7elieve 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 not domain-specific.作者: 連鎖 時間: 2025-3-22 09:32 作者: inspiration 時間: 2025-3-22 15:28
978-3-642-02413-9Springer-Verlag Berlin Heidelberg 2009作者: inspiration 時間: 2025-3-22 20:25
Paare von stetigen Zufallsvariablen, 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, mak作者: 范圍廣 時間: 2025-3-22 23:01 作者: debble 時間: 2025-3-23 01:33
Das Anpassen von Modellen an Daten, domain, covering different phases of component life-cycle, or supporting analysis of different quality attributes. When dealing with different variants of products and in evolution of systems, there is a need for transformation of system models from one component model to another one. However, it i作者: 結(jié)構(gòu) 時間: 2025-3-23 05:34
https://doi.org/10.1007/978-3-642-95886-1 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 devel作者: Phonophobia 時間: 2025-3-23 13:11 作者: LOPE 時間: 2025-3-23 17:42
https://doi.org/10.1007/978-3-531-92446-5 between the original structure of the source code of a component and the extracted specification; in particular, this is important for both user comprehension and for interpretation of results of any further formal verification. Even though the reverse engineering techniques providing behavior spec作者: Harpoon 時間: 2025-3-23 18:38 作者: eardrum 時間: 2025-3-24 02:16
https://doi.org/10.1007/978-3-642-61533-7ent to component. Connection mechanisms are not hierarchical in general, and therefore current component models do not support hierarchical system construction. In this paper we argue that control encapsulation by components, together with suitable composition mechanisms, can lead to a component mod作者: fiscal 時間: 2025-3-24 03:09 作者: Vertical 時間: 2025-3-24 08:49
https://doi.org/10.1007/978-3-531-92089-4ments engineering phase, the most important view is the functional one, which specifies functionalities offered by the system and relationships between them. In the design phase, the component-based view describes the system as a network of interacting components. Via their interaction, they realize作者: 迅速成長 時間: 2025-3-24 13:59
https://doi.org/10.1007/978-3-531-92089-4ll, the starting point in their management, namely their specification in a context of component models is not addressed in a systematic way. Extra-functional properties can be expressed as attributes (or combinations of them) of components, or of a system, but also as attributes of other elements, 作者: 手段 時間: 2025-3-24 18:13 作者: Palatial 時間: 2025-3-24 19:38 作者: arthroplasty 時間: 2025-3-24 23:21 作者: 獨行者 時間: 2025-3-25 03:54
Normalverteilung und andere Testverteilungen, must be kept in-sync. Unfortunately, in the real world, it is a very rare case that any two of these are kept consistent, let alone all three. In general, as an implementation changes, its source code documentation, like that of Javadoc, is only occasionally updated at some later date. Unsurprisin作者: 劇毒 時間: 2025-3-25 10:06
Hypothesen: Nur eine Pr?zisierung der Frageis treated as an exercise in validating the test cases. While such an approach appeals to many software developers, one cannot simply apply TDD to component-based software engineering (CBSE). The primary obstacle is the more complex life cycle for software components that must be packaged, deployed 作者: Nonflammable 時間: 2025-3-25 13:54 作者: HOWL 時間: 2025-3-25 16:49
https://doi.org/10.1007/978-3-642-95886-1e take application-specific constraints into consideration during verification. The satisfied properties and constraints are evidences for the selection. A case study shows the effectiveness of the approach.作者: 只有 時間: 2025-3-25 22:18 作者: Expediency 時間: 2025-3-26 03:29
https://doi.org/10.1007/978-3-662-47114-2-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 Workf作者: 教唆 時間: 2025-3-26 06:05
Normalverteilung und andere Testverteilungenels, 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 is作者: 招惹 時間: 2025-3-26 10:04 作者: caldron 時間: 2025-3-26 16:11 作者: 沒收 時間: 2025-3-26 19:11
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Supporte take application-specific constraints into consideration during verification. The satisfied properties and constraints are evidences for the selection. A case study shows the effectiveness of the approach.作者: macrophage 時間: 2025-3-26 20:57
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
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 Workf作者: comely 時間: 2025-3-27 06:43
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 is作者: FOVEA 時間: 2025-3-27 12:18
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
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, mak作者: EXALT 時間: 2025-3-27 19:45
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 作者: Ingrained 時間: 2025-3-28 03:05
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 devel作者: OTHER 時間: 2025-3-28 07:21
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 作者: 起來了 時間: 2025-3-28 16:30
Towards Dynamic Component Isolation in a Service Oriented Platformonly during runtime, evaluating third party components trustworthiness at runtime is difficult. The traditional namespace based isolation and the security mechanisms provided in the Java platform (the base platform for OSGi) can restrict the access of such components but can not provide fault isolat作者: 獸皮 時間: 2025-3-28 20:15 作者: Frenetic 時間: 2025-3-29 01:45
Component Specification Using Event Classesose a general definition of a . as a scheme, parameterized by a set of input classes, that defines a set of output classes and propagation rules. The specification of a component is a relation between its input classes and defined output classes that follows from its propagation rules and definition作者: braggadocio 時間: 2025-3-29 07:07
Integrating Functional and Architectural Views of Reactive Systemsments engineering phase, the most important view is the functional one, which specifies functionalities offered by the system and relationships between them. In the design phase, the component-based view describes the system as a network of interacting components. Via their interaction, they realize作者: 多產(chǎn)子 時間: 2025-3-29 08:17
Integration of Extra-Functional Properties in Component Modelsll, the starting point in their management, namely their specification in a context of component models is not addressed in a systematic way. Extra-functional properties can be expressed as attributes (or combinations of them) of components, or of a system, but also as attributes of other elements, 作者: 鍵琴 時間: 2025-3-29 12:34 作者: 巡回 時間: 2025-3-29 16:15
Component-Based Real-Time Operating System for Embedded Applicationsware design more flexible. CBSE provides an approach to these new requirements. However, low-level services provided by operating systems are an integral part of embedded applications, furthermore deployed on resource-limited devices. Therefore, the expected benefits of CBSE must not impact on the c作者: Musculoskeletal 時間: 2025-3-29 20:06
Services + Components = Data Intensive Scientific Workflow Applications with MeDICilows are typically constructed using general-purpose scripting languages to coordinate the execution of the various modules and to exchange data sets between them. While such scripts provide a cost-effective approach for simple workflows, as the workflow structure becomes complex and evolves, the sc作者: curettage 時間: 2025-3-30 03:04
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations, must be kept in-sync. Unfortunately, in the real world, it is a very rare case that any two of these are kept consistent, let alone all three. In general, as an implementation changes, its source code documentation, like that of Javadoc, is only occasionally updated at some later date. Unsurprisin作者: 羽飾 時間: 2025-3-30 05:57 作者: Diluge 時間: 2025-3-30 09:37
Das Anpassen von Modellen an Daten,for tool and notations interpretability easing the transformation among many different component models. It is automated inside the Eclipse framework, and fully-extensible. The .... approach is applied to two different component models for real-time embedded systems and observations are reported.作者: 傲慢物 時間: 2025-3-30 14:13 作者: FISC 時間: 2025-3-30 17:06 作者: HEED 時間: 2025-3-30 22:03
https://doi.org/10.1007/978-3-531-92446-5it is observed that the untrusted code does not bring any threat to the application, at runtime it can be dynamically promoted to the safe environment. Tests have been performed in a controlled environment where misbehaving components hosted in the sandbox were not able to disturb the main application.作者: 維持 時間: 2025-3-31 02:15 作者: 人類學家 時間: 2025-3-31 06:06 作者: Blasphemy 時間: 2025-3-31 10:50 作者: 使高興 時間: 2025-3-31 16:23
Process Patterns for Component-Based Software Developmentf high-level process patterns recurring in these methodologies have been identified. A generic process framework for component-based development has been proposed based on these process patterns. The process patterns and the generic framework can be used for developing or tailoring a process for producing component-based systems.
