Showing papers in "Science of Computer Programming in 2014"

TL;DR: All phases of FOSD are supported in FeatureIDE, namely domain analysis, requirements analysis, domain implementation, and software generation.

TL;DR: The relative absence of empirical studies of model driven engineering (MDE) is addressed in two different but complementary ways, and an analysis of a large online survey of MDE deployment and experience that provides some rough quantitative measures of Mde practices in industry is presented.

TL;DR: A first step towards evaluating topic models in the analysis of software evolution is taken by performing a detailed manual analysis on the source code histories of two well-known and well-documented systems, JHotDraw and jEdit.

TL;DR: The Sourcerer infrastructure is described, an infrastructure for large-scale collection and analysis of open source code is developed, and the applications that are built on top of it are presented.

TL;DR: This paper describes the OpenDSA system architecture and the design goals that led to the present version of the system, and recommends an appropriate mix of open-source practices that will encourage broad contribution to the project.

TL;DR: Four new approaches to achieve performance isolation in Software-as-a-Service (SaaS) offerings are considered and four new approaches based on the proposed metrics for quantifying the performance isolation of cloud-based systems are evaluated.

TL;DR: An educational-oriented approach for building personalised e-learning environments that focuses on putting the learners' needs in the centre of the development process is provided.

TL;DR: The jcolibri2 framework for building Case-based reasoning (CBR) systems is described, together with a description of the specialized CBR tools that can be implemented with j colibri: CBR with textual cases, recommenders, knowledge/data intensive applications or distributed architectures.

TL;DR: The lessons learned within this experience of WebRatio are presented, some success stories are described and some quantitative information and evaluation on the usage of the approach are shown.

TL;DR: A systematic evaluation framework for comparing model transformation approaches, based upon the ISO/IEC 9126-1 quality characteristics for software systems, is applied to compare five transformation approaches on a complex model refactoring case study: the amalgamation of apparent attribute clones in a class diagram.

TL;DR: DiaSuite is presented, a tool suite that uses a software design approach to drive the development process and comprises a domain-specific design language, a compiler producing a Java programming framework, a 2D-renderer to simulate an application, and a deployment framework.

TL;DR: This paper contains the development of hybrid systems with Event-B and the Rodin Platform, and proposes to complement the event-B/Rodin Platform approach with the usage of Matlab, either to simulate examples with some correct as well as incorrect set of parameters, or to use the analytical power ofMatlab to complementThe usage of Event- B.

TL;DR: A tool for automated translation from Timed Rebeca to the Erlang language, which provides a first implementation of Timed rebeca, and provides the formal semantics of the language using Structural Operational Semantics, and shows its expressiveness by means of examples.

TL;DR: This work addresses the state explosion problem of SPL model checking by applying the principles of symbolic model checking to FTS-based verification of SPLs and proves that fSMV and FTSs are expressively equivalent.

TL;DR: Practical experience in two transfer of technology projects on two small companies suggests that MDE has the potential to make small companies more competitive, because it enables them to build powerful automation tools at modest cost.

TL;DR: A survey and a comparison of the model and graph transformation tools that participated at the Transformation Tool Contest 2011 are given and the reader gains an overview of the field and its tools, based on the illustrative solutions submitted to a Hello World task, and a compare alongside a detailed taxonomy.

TL;DR: A SVA toolset for software maintenance is presented, and two of its components which target software structure, metrics and code duplication are detail, which illustrate the toolset's usage for constructing software visualizations.

TL;DR: A domain-independent process for the automatic population of ontologies from text that applies natural language processing and information extraction techniques to acquire and classify ontology instances and can extract and classify instances with high effectiveness with the additional advantage of domain independence is proposed.

TL;DR: This work derives a logic that precisely captures the intentions of the standard, and provides an alternative lattice based way of characterizing the policy combining operators and formally proves the equivalence of these approaches thereby increasing the faith in either one.

TL;DR: Gradualtalk is a practical approach to gradual types in Smalltalk, with a novel blend of type system features that accommodate most programming idioms, and a smooth path from untyped to typed code.

TL;DR: A performance meta-model is proposed, a subset of the Descartes Meta-Model (DMM) for online performance prediction, specifically designed for use in online scenarios, and motivated and validated in the context of realistic and representative online performance Prediction scenarios based on the SPECjEnterprise2010 standard benchmark.

TL;DR: This work presents a method for verifying properties of imperative programs by using techniques based on the specialization of constraint logic programs (CLP), and improves the precision of program verification with respect to state-of-the-art software model checkers.

TL;DR: It is suggested that software engineering conferences are healthy, but there are important differences between conferences with a wide scope and those with a more narrow scope, and depending on the chosen health metric, some conferences perform better than others.

TL;DR: A new distributed KM Conceptual Model whose building blocks are the knowledge activities involved in knowing processes are presented, providing a holistic view of KM whose purpose is helping managers understand the scope of this initiative, and supplying a guide for research and implementation in organizations.

TL;DR: This article presents a series of four industrial case studies in software verification of VeriFast, a sound and modular software verifier based on separation logic, to two Java Card smart card applets, a Linux device driver, and an embedded Linux network management component, the latter two written in C.

TL;DR: In this article, the authors describe a set of feedback services that support the inner (interactions within an exercise) and outer (over a collection of exercises) loops of a learning system, and provide meta-information about a class of exercises, such as solving quadratic equations, or performing Gaussian elimination.

TL;DR: Empirical results show that the proposed mutant classification strategies provide a cost-effective solution when they consider a small number of live mutants, i.e., 10-12, and it turns out that as the test suites evolve, the benefit of this practice is reduced.

TL;DR: This paper presents the first formalisation of the complete Dalvik bytecode language including reflection features and the first formally specified control flow analysis for the language, including advanced control flow features such as dynamic dispatch, exceptions, and reflection.

TL;DR: Softwarenaut is presented - a tool which supports architecture recovery through interactive exploration and visualization which allows sharing and discovering the results of previous analysis sessions through a global repository of architectural views indexed by systems.

TL;DR: In this article, a logic to verify GPU kernels written in OpenCL, a platform-independent low-level programming language, is presented, which can be used to prove both data race-freedom and functional correctness of kernels.