the proceedings contain 23 papers. the topics discussed include: next generation software product line engineering;software product families in Nokia;feature models, grammars, and propositional formulas;using product ...
详细信息
ISBN:
(纸本)3540289364
the proceedings contain 23 papers. the topics discussed include: next generation software product line engineering;software product families in Nokia;feature models, grammars, and propositional formulas;using product sets to define complex product decisions;feature-oriented re-engineering of legacy systems into product line assets;reuse without compromising performance: industrial experience from RPG software product line for mobile devices;extracting and evolving mobile games product lines;determining the variation degree of feature models;modeling architectural value: cash flow, time and uncertainty;and a knowledge-based perspective for preparing the transition to a software product line approach.
Dynamic analysis techniques reason over program executions and show promise in aiding the development of robust and reliable large-scale systems. It has become increasingly clear that limitations of static analysis ca...
详细信息
ISBN:
(纸本)9781581139631
Dynamic analysis techniques reason over program executions and show promise in aiding the development of robust and reliable large-scale systems. It has become increasingly clear that limitations of static analysis can be overcome by integrating static and dynamic analyses, and that the performance and value of dynamic analysis can be improved by static analysis. Hence, a key focus of the workshop will be on hybrid analyses that involve both static and dynamic components.
the failure of conventional traffic models for packet data networks has sparked a fresh interest in teletraffic modeling. this paper presents a review of the open/close loop traffic management and revisits the convent...
详细信息
ISBN:
(纸本)9789806560543
the failure of conventional traffic models for packet data networks has sparked a fresh interest in teletraffic modeling. this paper presents a review of the open/close loop traffic management and revisits the conventional as well as non-linear traffic models.
Our society is becoming increasingly dependent on embedded software, and its reliability becomes more and more important. Although we can utilize powerful scientific methods such as model checking techniques to develo...
详细信息
ISBN:
(纸本)3540289364
Our society is becoming increasingly dependent on embedded software, and its reliability becomes more and more important. Although we can utilize powerful scientific methods such as model checking techniques to develop reliable embedded software, it is expensive to apply these methods to consumer embedded software development. In this paper, we propose an application of model checking techniques for design verification in product line development (PLD). We introduce reusable verification models in which we define variation points, and we show how to define traceability among feature models, design models and verification models. the reuse of verification models in PLD not only enables the systematic design verification of each product but also reduces the cost of applying model checking techniques.
Modeling is an essential part of all categories of software projects. Surveys show that large software projects have a high probability of failure as it fails to meet all of its requirements on time and on budget quot...
详细信息
ISBN:
(纸本)9789806560598
Modeling is an essential part of all categories of software projects. Surveys show that large software projects have a high probability of failure as it fails to meet all of its requirements on time and on budget quoted earlier. this problem does not only stop here, once the system does not meet proper specification in the earlier version, developers will have a lot of difficulty in upgrading the software to meet future enhancements criteria. thus the reverse engineering process of gathering the earlier requirement from the design documentation becomes essential. the Unified Modeling Language helps to specify, visualize, and document models of software systems, including their structure and design, in a way that meets all of these requirements and widely used in the Object oriented design area. Large number of UML based tools is available to develop the UML diagrams to support software design documents. this study would include a research study on the available UML tools in the aspects of selection criteria, features and strength and weakness of the these tools. this paper addresses two major areas, which is, firstly a detailed analysis on the UML tools currently available and secondly to build a working prototype of UML tool to implement the reverse engineering concept to derive the requirements based on a given design diagram models.
this paper proposes an Active Queue Management(AQM) scheme referred to as Fuzzy predictive Preferential Dropping (FPPD). Two contributions are made in this work. Firstly, a fuzzy predictor is employed to improve the a...
详细信息
ISBN:
(纸本)3540288953
this paper proposes an Active Queue Management(AQM) scheme referred to as Fuzzy predictive Preferential Dropping (FPPD). Two contributions are made in this work. Firstly, a fuzzy predictor is employed to improve the accuracy of traffic prediction. Secondly, a novel congestion index, predicted traffic intensity from fast flows, is used to derive packet dropping probability for AQM. the FPPD safely detects real congestion caused by large flows while leaving transient traffic burst from short-lived flows alone. Furthermore, a preferential dropping mechanism is adopted to treat packets from long-term fast flows and short-lived flows differently. Simulations show that the proposed FPPD reduces packet drop ratio and utilizes link bandwidth more efficiently than other AQM schemes. It also improves the quality of service perceived by web users.
the proceedings contain 9 papers. the topics discussed include: do arbitrary function approximators make sense as software prediction models?;predictivesoftwaremodels;characterizing programmers9; information-seek...
详细信息
ISBN:
(纸本)0769522939
the proceedings contain 9 papers. the topics discussed include: do arbitrary function approximators make sense as software prediction models?;predictivesoftwaremodels;characterizing programmers' information-seeking during software evolution;the application of content analysis to programmer mailing lists as a requirements method for a software visualization tool;the role of content analysis in the development of theory and understanding of softwareengineering;a framework for business model driven development;evaluating UML tool support for effective coordination and communication across geographically disparate sites;evolving legacy systems through a multi-objective decision process;and quality and constraint driven workflow composition.
Most of the plastic parts are manufactured on single screw extruders and injection moulding machines. Such machines consist of one screw, which is rotating in a heated or cooled barrel. the whole screw is one part. th...
详细信息
ISBN:
(纸本)9789806560529
Most of the plastic parts are manufactured on single screw extruders and injection moulding machines. Such machines consist of one screw, which is rotating in a heated or cooled barrel. the whole screw is one part. therefore, it is not possible to modify the screw geometry subsequent to its production. At designing a new process it is of great importance to include the optimisation of the geometry of the screw and barrel. In the majority of cases the new design is created by senior employee, who has got a lot of practical knowledge. Normally, he proposes a possible design and does several trials in the lab. However, today it is possible to create a new or an optimised design with help of process modelsthat allow for the mathematical evaluation of the process behaviour of the machine. Unfortunately, these models are mathematically complex. Hence, they are often not applied by the industry. In order to solve this problem the Institute of Polymer engineering at the University of Paderborn in Germany originated a software tool that is able to calculate all important process parameters that are required for the evaluation of a process.
More than 80% of all polymers are compounded, whereas compounding covers all processing steps that are required to modify the raw material into a processable material. Most of all, the tightly intermeshing co-rotating...
详细信息
ISBN:
(纸本)9789806560529
More than 80% of all polymers are compounded, whereas compounding covers all processing steps that are required to modify the raw material into a processable material. Most of all, the tightly intermeshing co-rotating twin screw extruder is used for performing this task. Such an extruder consists of two screws, which are rotating in the same direction in a heated or cooled barrel with an eight-like looking bore. Boththe screw and the barrel are modular constituted. In order to optimise the machine set-up in view of a given task the selection and arrangement of the screw and barrel elements are of vital importance. Usually, an experienced senior employee does such an optimisation. thereby, a lot of trial and error experiments are often included in the optimisation process. Besides, there do exist a number of process modelsthat allow for the mathematical evaluation of the process behaviour of the machine. However, these models are due to their mathematical complexity not easy to handle. that is why most process models are not applied by the industry. Hence, the Institute of Polymer engineering at the University of Paderborn in Germany develops a software tool that is able to estimate all substantial process parameters.
Proponents of different software product line and software reuse economic models will be given a real-world software product line scenario and asked to predict alternate outcomes and to justify - with hard data from t...
详细信息
暂无评论