The proceedings contain 100 papers. The topics discussed include: the popularity cycle of graphical tools, UML, and libraries of associations;the first workshop on programming languages and integrated development envi...
ISBN:
(纸本)9781595938657
The proceedings contain 100 papers. The topics discussed include: the popularity cycle of graphical tools, UML, and libraries of associations;the first workshop on programming languages and integrated development environments (PLIDE);No silver bullet: a retrospective on the essence and accidents of software engineering;the first international workshop on unified data mining engine: addressing challenges;selecting object-oriented source code metrics to improve predictive models using a parallel genetic Algorithm;open framework for conformance testing via scenarios;a framework for distributed collaborative conceptual model development;adding rigorous statistics to the Java benchmarker's toolbox;status report on JSR-305: annotations for software defect detection;and synthesizing reactive systems from LSC requirements using the play-engine.
Building a Unified Data Mining Engine (UDME) is not an easy exercise, specifically, when several factors can undermine their quality success, such as cost, time, and lack of systematic approaches. We would like to arc...
详细信息
ISBN:
(纸本)9781595938657
Building a Unified Data Mining Engine (UDME) is not an easy exercise, specifically, when several factors can undermine their quality success, such as cost, time, and lack of systematic approaches. We would like to architect and develop a UDME, that has the some or all of the following properties: 1. Ease of use, 2. No Need of Expert to run the tool 3. Easy to add new functionality 4. Easy to interface 6. Multiple algorithms 7. Fewer resources 8. Stable 9. Isolation of Application logic 10. Minimum Maintenance Cost The workshop will address the unified data mining engine' challenges, and also debate several issues that are related to the architecture and development of the UDME.
In view of its fundamental role arising in numerous fields of science and engineering, the problem of solving quadratic programs (QP) has been investigated extensively for the past decades. One of the state-of-the-art...
详细信息
Answer Set programming (ASP) and Constraint logicprogramming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode applications involving search, optimizati...
详细信息
Many web-applications can be characterized as "relational". In this paper we introduce and evaluate WebRB, a visual domain-specific language for building such applications. WebRB addresses the limitations of...
详细信息
ISBN:
(纸本)9781595937865
Many web-applications can be characterized as "relational". In this paper we introduce and evaluate WebRB, a visual domain-specific language for building such applications. WebRB addresses the limitations of the conventional "imperative-embedding" approach typically used to build relational web-applications. We describe the WebRB language, present extended examples of its use, and discuss the WebRB visual editor, libraries, and runtime. We then evaluate WebRB by comparing it to alternative approaches, and demonstrate its effectiveness in building relational web-applications.
Recent research in answer-set programming (ASP) focuses on different notions of equivalence between programs which are relevant for program optimisation and modular programming. Prominent among these notions is unifor...
详细信息
This article reveals our work on refactoring plug-ins for Eclipse's C++ Development Tooling (CDT). With CDT a reliable open source IDE exists for C/C++ developers. Unfortunately it has been lacking of overarching ...
详细信息
ISBN:
(纸本)9781595938657
This article reveals our work on refactoring plug-ins for Eclipse's C++ Development Tooling (CDT). With CDT a reliable open source IDE exists for C/C++ developers. Unfortunately it has been lacking of overarching refactoring support. There used to be just one single refactoring - Rename. But our plug-in provides several new refactorings which support a C++ developer in his everyday work.
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and implementations are compliant with such p...
详细信息
ISBN:
(纸本)9781595937865
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and implementations are compliant with such protocols. Accordingly, existing approaches either operate globally or severely restrict aliasing. We have developed a sound modular protocol checking approach, based on typestates, that allows a great deal of flexibility in aliasing while guaranteeing the absence of protocol violations at runtime. The main technical contribution is a novel abstraction, access permissions, that combines typestate and object aliasing information. In our methodology, developers express their protocol design intent through annotations based on access permissions. Our checking approach then tracks permissions through method implementations. For each object reference the checker keeps track of the degree of possible aliasing and is appropriately conservative in reasoning about that reference. This helps developers account for object manipulations that may occur through aliases. The checking approach handles inheritance in a novel way, giving subclasses more flexibility in method overriding. Case studies on Java iterators and streams provide evidence that access permissions can model realistic protocols, and protocol checking based on access permissions can be used to reason precisely about the protocols that arise in practice.
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, the one by Bacchus, Halpern and Levesqu...
详细信息
Jump Linear Quadratic Gaussian (JLQG) model is well studied due to its wide applications. The existing studies on JLQG model with controlled jump probabilities usually impose an assumption that jump probabilities are ...
详细信息
暂无评论