This paper illustrates the power of extending Language Driven Engineering (LDE) with Domain-Specific Natural Languages (DSNLs) through a case study on two levels. Both cases benefit from the characteristic decompositi...
详细信息
Brain tumors are regarded as one of the most lethal, devastating, and aggressive diseases, significantly reducing the life expectancy of affected individuals. For this reason, in pursuit of advancing brain tumor diagn...
详细信息
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever mor...
详细信息
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever more complex architectures, understanding basic facilities such as exception handling as an aid to improving program reliability, robustness and comprehensibility has become much more important. Interest has sparked the production of many papers both theoretical and practical, each giving a view of exceptions and exception handling from a different standpoint. In an effort to provide a means of classifying exception handling models which may be encountered, a taxonomy is presented in this paper. As the taxonomy is developed some of the concepts of exception handling are introduced and discussed. The taxonomy is applied to a number of exception handling models in some contemporary programming languages and some observations and conclusions offered.
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an a...
详细信息
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an attribute is desirable of any system as it ensures the correctness of results which are produced. A very few modern sequential programming languages offer program fail-safety through the judicious use of a well designed exception handling mechanism. In this paper the exception handling techniques used in those sequential systems are developed to provide the guidelines for fail-safe concurrent system design. (C) 1997 Elsevier Science Ltd.
Significant progress has been made in the effort to separate programmers from the management of data storage. By comparison, the window of a workstation is still managed and controlled in great detail by the typical p...
Significant progress has been made in the effort to separate programmers from the management of data storage. By comparison, the window of a workstation is still managed and controlled in great detail by the typical programmer. In AD/Cycle™ user interface services defined a set of services that assist in the management of the displays on the workstation. These services also help increase the productivity of the tool builder by enforcing Common User Access rules and guidelines, and raise the level of consistency of user displays of the tools in AD/Cycle.
Structural (manual or automated) testing today often overlooks typical programming faults because of inherent flaws in the simple criteria applied (e.g. branch or all-uses). Dedicated testing strategies that address s...
详细信息
In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). This combination helps br...
详细信息
ISBN:
(纸本)9781605580524
In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). This combination helps bridging the gap towards model based testing also for legacy systems. Webtest is an implementation of hybrid testing that builds on top of preexisting technology such as the LearnLib, a framework for automata learning, and the jABC, a framework for modeldriven and service-oriented design, that we use here for modelling, executing, and managing test suites for and models of the web applications under analysis. In particular we intend to move towards Rich Internet Applications (RIAs), that include e.g. advanced client side capabilities and access to heavy resources (e.g. database access) over the Web. Copyright 2008 ACM.
The paper contains threshold results and demonstrates a perspective for ongoing research in the field of digitalization of the economy. The relationship between the knowledge economy and intangible and material produc...
详细信息
ISBN:
(纸本)9781912764501
The paper contains threshold results and demonstrates a perspective for ongoing research in the field of digitalization of the economy. The relationship between the knowledge economy and intangible and material production is presented. The value of knowledge as a factor of production and goods, as well as a production asset and a production resource is determined. Evolutionary changes in the paradigm of knowledge management in connection with the transition to a new economic formation – the digital economy are outlined. The results of research of the concept and structure of intellectual capital on the basis of a systematic approach are summarized. The problems of both theoretical and applied nature that prevent more effective implementation of the results of the research in the practice of organizations in all spheres of the economy are systematized. The problems are presented in the context of considering the role and place of knowledge in the formation and increment of intellectual capital. The greatest development was the question associated with the development of a model describing the process of increment of intellectual capital through the change of parameters included in the model of describing the increment of knowledge acquired (produced) by the subject of the economy. The perspective direction of research of mutual influence (correlation) of parameters of increment of knowledge and reflecting influence of these parameters on volume and rates of increment of intellectual capital is specified. The methods of mathematical modeling are indicated as tools for the research. This will not only describe the process of increment/change in the volume of intellectual capital using a finite number of parameters, but also explore the possibility of manipulating parameters. The results of the study stated the establishment of mutual correlation with changes in the parameters of the studied processes at various scales. It will allow to form the forecast of behavior of
In large projects parallelization of existing programs or refactoring of source code is time consuming as well as error-prone and would benefit from tool support. However, existing automatic transformation systems are...
详细信息
While using a single GPU is fairly easy, using multiple CPUs and GPUs potentially distributed over multiple machines is hard because data needs to be kept consistent using message exchange and the load needs to be bal...
详细信息
暂无评论