Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Due to the large number of possible variants in typical software product lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent in certain feature selections are critical to the future viability of SPLs. This paper presents IQ-SPLE, an integrated tool supported approach that considers both qualitative and quantitative quality attributes without imposing...
Test applications often require the integration of many different software technologies. This paper provides an overview of how several Windows-based technologies can be incorporated into a single application by employing a common software framework and architecture.
Security requirements analysis is gaining growing attention as new vulnerabilities and threats are emerging on daily basis, the systematic evaluation of security requirements is of utmost importance among the various decisions to be made related to security. This short contribution proposes using a 3-dimensional vector for quantitative evaluation of security requirements, which takes into account...
Synchronization between component requirements and implementation centric tests remains a challenge that is usually addressed by requirements reviews with testers and traceability policies. The claim of this work is that linking requirements, their scenario-based formalizations, and software verification provides a promising extension to this approach. Formalized scenarios, for example in the form...
All chemistry software has its own language and provides its corresponding script editor. A complex chemical job running in Grid environment often requires different chemistry software's collaboration. The chemist edits computational chemistry program locally, then submits them to the Grid environment. Therefore, chemists need to use appropriate chemical editors for syntax checking when modifying...
Ontology is an explicit specification of a conceptualization. With the development of semantic Web, there are more and more ontologies. How to achieve the reusing and sharing of knowledge between ontologies has become the key to the development of semantic Web. Based on the analysis of the current technologies, a computation method of parsing the feature of concept in the ontologies and making use...
This paper presents a new fuzzy multi-criteria decision making (FMCDM) approach, which integrates the technique for order preference by the similarity to ideal solution (TOPSIS), grey relation and fuzzy set theory, for enterprise resource planning (ERP) system evaluation and selection in the small and medium-sized enterprises (SMEs). In this study, the characteristic of the alternative with respect...
In this paper, we investigate the barcode OSS using two of Weiser's original slice-based metrics (tightness and overlap) as a basis, complemented with fault data extracted from multiple versions of the same system. We compared the values of the metrics in functions with at least one reported fault with fault-free modules to determine a) whether significant differences in the two metrics would be observed...
Consistency of component software is a crucial condition required for correct program execution. The existing consistency controls of OSGi at build time or in runtime cannot prevent type mismatch failures caused by independent client and server bundle development. This paper describes our solution to this problem using automated versioning of components. Version identifiers are generated from results...
The paper applies the newly proposed weighted argument systems (WAS) and the associated notion of inconsistency budget. Fuzzy theory and ontological knowledge are used to supply WAS with the required weights, whilst the weighted argument systems provide a beautiful and simple principle to decide which fuzzy logic to use for reasoning, given an argumentation set.
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections for a component system that is suitable for embedded systems. This component system adopts a static model that statically instantiates and connects components. The attributes of the components and the interface code for...
This paper introduces the current primary functionalities, characteristics and usages of Unified Minority Speech Parameter Database Platform Software as well as future-expanded functions. By using the platform, we can accomplish acoustic parameter retrieval, statistics and analysis of established Tibetan, Uigur and Yi broadcasting acoustic parameter databases. After adding acoustic parameters of more...
Formal specifications of software components are critical to software development. Several types of formal or semi-formal methods are commonly used for software specification, such as specification languages, graphic diagrams, algebraic descriptions, and stream functions. Each of these methods addresses the specification problem from a different view point and has its own strengthens and weaknesses...
The extensive dynamic capabilities of the browser allow for platforms of infinite extensibility and omni-functional power to be delivered via the Internet. This paper considers the possibilities of converting Web pages into an intelligent immersive omni-functional platform with special focus on calculations. Such standards-compliant documents with omni-functionalities (enhanced by calculations, but...
Refactoring is a commonly accepted technique to improve the structure of object oriented software. The paper presents a multi-objective approach to the Entity Refactoring Set Selection Problem (ERSSP) by treating the cost constraint as an objective and combining it with the effect objective. The results of the proposed weighted objective genetic algorithm on a experimental didactic case study are...
Gathering and understanding what the user need is one of the most important things in the service creation lifecycle. We firstly discuss the difference between the service requirements and the traditional software requirement. Then we propose the service requirement refinement method by decompose the goal of the users. Once the sub-goals are defined, they can be mapping directly into related service...
Understanding a system from architecture view is very important for varieties of reasons. After frequent modifications, the system documents become outdated since they are inconsistent with the behaviors of the system. Currently, many component identification processes have been provided - clustering analysis, matrix analysis, graph-based decomposing methods, etc. - to understand the system design...
An intelligent network self-healing solution with regard to the current problem existing in the dedicated network was proposed in this paper. The solution can implement the self-healing by introducing intelligent network self-healing devices which were developed and produced on our own between outside and inside networks, without changing of the current network structure. The devices enable the 1+1...
Many applications in the field of scientific computing - such as computational biology, computational linguistics, and others - depend on Machine Learning algorithms to provide important core functionality to support solutions in the particular problem domains. However, it is difficult to test such applications because often there is no "test oracle" to indicate what the correct output should...
In this paper we consider a novel software reliability modeling framework based on non-homogeneous inverse Gaussian processes (NHIGPs). Although these models are derived in a different way from the well-known non-homogeneous Poisson processes (NHPPs), they can be regarded as interesting stochastic point processes with both arbitrary time non-stationary properties and the inverse Gaussian probability...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.