abc is an extensible, optimising compiler for AspectJ. It has been designed as a workbench for experimental research in aspect-oriented programming languages and compilers. We outline a programme of research in these ...
详细信息
We present a no-reference image-quality - assessment algorithm based on active reasoning module. this algorithm has three modules: the feature extraction module, the active reasoning module, and the quality assessment...
详细信息
In this paper we present a concept for a C++ implementation of forward automatic differentiation of an arbitrary order using expression templates and template metaprogramming. In contrast to other expression template ...
详细信息
Current service architecture description language and composition approaches consider simplistic method invocation. they pay less attention to the formal semantics and verification of service composition in the design...
详细信息
ISBN:
(纸本)1595933522
Current service architecture description language and composition approaches consider simplistic method invocation. they pay less attention to the formal semantics and verification of service composition in the design, and less support property specifications and architecture validation. this paper presents an executable web service architecture model, Service-Oriented Software Architecture Model (SO-SAM), which is an extension of SAM (Software Architecture Model [16]) to the web service applications, and verification of web system properties in the design. SO-SAM describes each web service in terms of component and service composition in terms of connector separately. Furthermore, we validate SO-SAM model to prove that it facilitates the verification and monitoring of web services integration through translation to the Maude programming langauge, a high level language and high performance executable specification withthe componentized and object-oriented design, as well as using model checking technique in the system design level. Finally, a case study of the validation of the model is demonstrated.
the proceedings contain 48 papers. the topics discussed include: modern machine learning techniques and their applications to medical diagnostics;innovative applications of artificial intelligence techniques in softwa...
ISBN:
(纸本)364216238X
the proceedings contain 48 papers. the topics discussed include: modern machine learning techniques and their applications to medical diagnostics;innovative applications of artificial intelligence techniques in software engineering;linear probability forecasting;the importance of similarity metrics for representative users identification in recommender systems;an optimal scaling approach to collaborative filtering using categorical principal component analysis and neighborhood formation;a classroom observation model fitted to stochastic and probabilistic decision systems;prediction with confidence based on a random forest classifier;a generic tool for building fuzzy cognitive map systems;a fuzzy rule-based approach to design game rules in a mission planning and evaluation system;automatically designing robot controllers and sensor morphology with genetic programming;and multiple criteria performance analysis of non-dominated sets obtained by multi-objective evolutionary algorithms for optimization.
Architecture Description Languages (ADL) provide descriptions of a software system in terms of its structure. Such descriptions give a high-level overview and come from the need to cope with arbitrarily complex depend...
详细信息
ISBN:
(数字)9783319246444
ISBN:
(纸本)9783319246444;9783319246437
Architecture Description Languages (ADL) provide descriptions of a software system in terms of its structure. Such descriptions give a high-level overview and come from the need to cope with arbitrarily complex dependencies arising from software components. In this paper we present Painless, a novel ADL with a declarative trait supporting parametrized specifications and architectural reconfigurations. Moreover, we exhibit its reliable facet on its integration with ProActive - a middleware for distributed programming. this is achieved by building on top of Mefresa, a Coq framework for the reasoning on software architectures. We inherit its strong guarantees by extracting certified code, and subsequently integrating it in our toolchain.
Custom attributes as e.g., supported by the NET framework complemented by pre- or post-processing tools can be used to integrate domain-specific concepts into general-purpose language technology, representing an inter...
详细信息
ISBN:
(纸本)3540235809
Custom attributes as e.g., supported by the NET framework complemented by pre- or post-processing tools can be used to integrate domain-specific concepts into general-purpose language technology, representing an interesting alternative to domain-specific languages in supporting model-driven development. For this purpose, it is important that dependency relationships between custom attributes, e.g., stating that a certain attribute requires or excludes another attribute, can be specified and checked for during model processing (compilation). Such dependencies can be viewed as an important part of expressing the meta-model of the domain-specific concepts represented by custom attributes. In this paper, we present an approach to specifying and enforcing dependencies between NET custom attributes, which naturally extends the built-in NET support. In this approach, dependencies are specified declaratively by using custom attributes to decorate other custom attributes. Once the dependency declaration is made part of the custom attribute support, one can write tools that enforce dependencies based on NET meta-program API-s like CodeDom or Reflection. In this paper, we present such a tool, called ADC (for attribute dependency checker).
the brain tumor is a major human life concern. One of the main causes of mortality in individuals is brain tumors in recent years. It is tough to manually detect the tumor. Doctors may being confused to detect the tum...
详细信息
Reuse in an Agile context is largely an unexplored research topic. On the surface, these two software engineering techniques would appear to be incompatible due to contradictory principles. For example, Agile componen...
详细信息
Programmers make many changes to the program to eventually find a good solution for a given task. In this course of change, every intermediate development state can of value, when, for example, a promising ideas sudde...
详细信息
Programmers make many changes to the program to eventually find a good solution for a given task. In this course of change, every intermediate development state can of value, when, for example, a promising ideas suddenly turn out inappropriate or the interplay of objects turns out more complex than initially expected before making changes. Programmers would benefit from tool support that provides immediate access to source code and run-time of previous development states of interest. We present IDE extensions, implemented for Squeak/Smalltalk, to preserve, retrieve, and work withthis information. With such tool support, programmers can work without worries because they can rely on tools that help them with whatever their explorations will reveal. they no longer have to follow certain best practices only to avoid undesired consequences of changing code.
暂无评论