software products designed to simulate technological processes are currently very relevant, since they help to prepare workers in advance for difficult production situations. It has been proven that simulation systems...
详细信息
software products designed to simulate technological processes are currently very relevant, since they help to prepare workers in advance for difficult production situations. It has been proven that simulation systems can improve design efficiency by 20% with quality workflow management tools, and capital cost savings of up to 30% can be achieved with the right materials for security design. Currently, there are various software and hardware tools for computer modeling of technological objects, selection of technological modes and adjustment of control loops. These tools include Unisim. Unisim is a unique software package from Honeywell that combines a variety of products, including an extensive list of components and thermodynamic properties packages, used to simulate complex process systems.
Identifying and analyzing the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves tasks such as standard generation and evaluati...
详细信息
ISBN:
(纸本)354041021X
Identifying and analyzing the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves tasks such as standard generation and evaluation. comparison of related cases and experience reuse in their treatment. In this paper, we present the design, implementation, and some application experiences with a modular approach that allows a variety of techniques from semantic document analysis to interoperate with a tailorable map-centred visualization of the structure of technical document collections.
Traditional softwareengineering is crucial to the successful development and deployment of a large expert system. In this respect, large expert systems are shown to have many similarities with other large software sy...
详细信息
Refactoring tends to avoid the early deviation of a program from its intended architecture design. However, there is little knowledge about whether the manifestation of code smells in evolving software is indicator of...
详细信息
ISBN:
(纸本)9781450304450
Refactoring tends to avoid the early deviation of a program from its intended architecture design. However, there is little knowledge about whether the manifestation of code smells in evolving software is indicator of architectural deviations. A fundamental difficulty in this process is that developers are only equipped with static analysis techniques for the source code, which do not exploit traceable architectural information. This work addresses this problem by: (1) identifying a family of architecturally-relevant code smells;(2) providing empirical evidence about the correlation of code smell patterns and architectural degeneration;(3) proposing a set of metrics and detection strategies and that exploit traceable architectural information in smell detection;and (4) conceiving a technique to support the early identification of architecture degeneration symptoms by reasoning about code smell patterns.
DevOps is recognized as a set of software development and operation practices that advocates a tight integration between development and operation in software delivery and operation activity to achieve faster software...
详细信息
Various methodologies exist to annotate software models with data related to performance, and to translate the annotated models into performance models. A relevant objective is now at hand in this direction, that is t...
详细信息
ISBN:
(纸本)0769521851
Various methodologies exist to annotate software models with data related to performance, and to translate the annotated models into performance models. A relevant objective is now at hand in this direction, that is to make these methodologies acceptable from the soft-ware engineering community. We present here the XPRIT tool that allows to annotate UML diagrams and translate them into models ready to performance validation, that are Execution Graphs and Queueing Networks. The translation is based on an existing methodology (PRIMA-UML), and the output models represent the inputs to a software Performance engineering approach.
When dependability of systems with a large number of components is a concern, being able to model and analyze their properties, especially non-functional ones, in a formal and automated way becomes essential. Often, h...
详细信息
ISBN:
(纸本)9780769540153
When dependability of systems with a large number of components is a concern, being able to model and analyze their properties, especially non-functional ones, in a formal and automated way becomes essential. Often, however, the application of formal methods and automated reasoning is seen by practitioners as complex and time consuming. Compositional techniques can help modify this belief. In this paper we show how a compositional modeling and verification technique can be applied to the analysis of distributed systems with numerous interacting nodes. We automate the proof by exploiting a SAT-based tool. We demonstrate the validity of the resulting approach by applying it to an autonomic service-based system that manages, in a coordinated peer-to-peer manner, electricity consumption in a geographical area. In particular, we show that in this case the time needed for performing the proof is remarkably shorter than in the case in which we adopt a non-compositional approach.
We introduce the notion of an actor eco-system a framework that addresses the design-time requirements of building multi-actor (multi-agent) systems such as supply chains, business networks, virtual organizations etc....
详细信息
In issue tracker systems, a bug report can be resolved as workaround. Since the definition of workarounds is vague, many research questions on workarounds are still open. For example, what are the symptoms of bugs whi...
详细信息
ISBN:
(纸本)9781665495981
In issue tracker systems, a bug report can be resolved as workaround. Since the definition of workarounds is vague, many research questions on workarounds are still open. For example, what are the symptoms of bugs which are resolved as workarounds? Why does a bug report have to be resolved as workarounds? What are the repairs and impacts of workarounds? In this paper, we conduct an empirical study to explore the above research questions. In particular, we analyzed 221 real workarounds that were collected from 88 Apache projects. Our results lead to ten findings and our answers to all the above questions. Our findings are useful to understand workarounds and to improve software projects and issue trackers.
The key to integration is determining the relationship between what components are potentially reusable and how they can be properly adapted. This paper addresses how the results of specification matching can be used ...
详细信息
The key to integration is determining the relationship between what components are potentially reusable and how they can be properly adapted. This paper addresses how the results of specification matching can be used to guide the selection and application of adaptation tactics and automate component adaptation and system integration based on type, interface, and behavior adaptation.
暂无评论