scispace - formally typeset
Search or ask a question

Showing papers in "Science of Computer Programming in 2013"


Journal ArticleDOI
TL;DR: This paper shows the full potential of multi-agent systems as a programming paradigm and builds upon three existing platforms: Jason for programming autonomous agents, Moise for programming agent organisations, and CArtAgO for programming shared environments.

361 citations


Journal ArticleDOI
TL;DR: FAMILIAR is presented as a Domain-Specific Language (DSL) that is dedicated to the large scale management of feature models and that complements existing tool support and demonstrates their applicability to different domains and use for different purposes.

196 citations


Journal ArticleDOI
TL;DR: This study aims to survey existing research on the reengineering of legacy systems into SPLs and the refactoring of existing SPLs in order to identify proven approaches and pending challenges for future research in both subfields.

128 citations


Journal ArticleDOI
TL;DR: This paper analyzes the current state of Java for HPC, both for shared and distributed memory programming, presents related research projects, and evaluates the performance of current Java HPC solutions and research developments on two shared memory environments and two InfiniBand multi-core clusters.

100 citations


Journal ArticleDOI
TL;DR: This article provides an objective comparison of identity merge algorithms, including some improvements over existing algorithms, and is validated on a selection of large ongoing open source software projects.

77 citations


Journal ArticleDOI
TL;DR: In this paper, an index-free, calculational approach to matrix algebra can be developed by regarding matrices as morphisms of a category with biproducts, which shifts the traditional view of matrix algebra as indexed structures to a type-level perspective analogous to that of the pointfree algebra of programming.

65 citations


Journal ArticleDOI
TL;DR: This paper formalizes high-level security policies adopted in the implementation of the recently proposed NaCl cryptographic library and proposes a formal verification approach based on self-composition, extending the range of security policies that could previously be handled using this technique.

52 citations


Journal ArticleDOI
TL;DR: The proposed configurable distributed architecture reduces ant management to messages that are asynchronously exchanged between agents, and the results support the effectiveness and scalability of the proposal.

48 citations


Journal ArticleDOI
TL;DR: In this article, the Sharir-Pnueli-Hart method is generalized to quantum programs by exploiting the Schrodinger-Heisenberg duality between quantum states and observables.

46 citations


Journal ArticleDOI
TL;DR: An algorithm is given for generating GLL parsers which build an SPPF representation of the derivations of the input, complementing the existing GLL recognition algorithm, and it is shown that such parsers and recognisers are worst-case cubic.

42 citations


Journal ArticleDOI
TL;DR: The Semantically Enriched Human-Computer Interaction model is proposed, which enriches a human-computer interaction model with some visual characteristics and the application semantic and provides enough information to generate prototypes so users and developers can easily validate this model.

Journal ArticleDOI
TL;DR: A Nested SPL for the domain of mobile and context- aware applications is presented, lessons learned in the SPL development are discussed, and a product for a context-aware visit guide is shown.

Journal ArticleDOI
TL;DR: It is argued that the time is ripe to begin the development of a next generation agent-oriented software engineering (AOSE) methodology, leading ultimately towards a unified AOSE methodology.

Journal ArticleDOI
TL;DR: This work addresses the problem of determining a topic count that most appropriately describes a set of source code documents by constructing clusterings with different numbers of topics for a large number of software systems, and uses a pair of measures based on source code locality and topic model similarity to assess how well the topic structure identifies related source code units.

Journal ArticleDOI
Irit Hadar1
TL;DR: Examining the understanding of OOA/D from this perspective helps explain some of the previously documented difficulties, as well as some newly identified difficulties in learning and practicing Ooa/D, and guide the design of future quantitative experiments to understand how prevalent these phenomena are.

Journal ArticleDOI
TL;DR: This article introduces a mapping from extended feature models to constraint logic programming over finite domains, used to translate into constraint logic programs; basic, cardinality-based and extended feature model, which can include complex cross-tree relationships involving attributes.

Journal ArticleDOI
TL;DR: An algorithm for simultaneous multi-level animation of refinement of refinement is presented, and it can be used to detect a variety of errors that occur frequently when using refinement.

Journal ArticleDOI
TL;DR: This paper uses software clickers, implemented in Java, that allow for much richer problem types than the traditional multiple-choice question, and introduces a pedagogical approach that allows students to learn from mistakes of their peers.

Journal ArticleDOI
TL;DR: This work modified an existing high-performance virtual machine to allow arbitrary changes to the definition of loaded classes, which focuses on increasing developer productivity during debugging, but can also be applied for updating of long-running applications.

Journal ArticleDOI
TL;DR: A new approach for implementing precise intraprocedural control-flow and dataflow analyses at the abstract syntax tree level is developed, making use of reference attribute grammars augmented with circular attributes and collection attributes, allowing extensions both to the language and with further source code analyses.

Journal ArticleDOI
TL;DR: It is shown how ψ can be used also to select a set of possible candidate processes q through a property-directed and structural heuristic and from the verification point of view, the description of the lacking component through a logic formula guarantees correctness of the integration with p of any process that exhibits a behaviour compliant with the inferred formula.

Journal ArticleDOI
TL;DR: Quantitative results are presented to assess the overall strategy: the effort required by the design activities is balanced by the effectiveness of the verification tasks enabled by model-based development and automatic code generation.

Journal ArticleDOI
Ralf Hinze1
TL;DR: This article develops the calculational properties of adjoint (un)folds, providing several fusion laws, which codify basic optimisation principles and gives a novel proof of type fusion based on adjoint folds.

Journal ArticleDOI
TL;DR: A framework to evaluate the usability of MDD tools and instantiated it for performing a usability evaluation of a tool named INTEGRANOVA, and compared the outcome of the study with another usability evaluation technique based on ergonomic criteria.

Journal ArticleDOI
TL;DR: This paper proposes a trace sampling technique that not only reduces the size of a trace but also results in a sample that is representative of the original trace by ensuring that the desired characteristics of an execution are distributed similarly in both the sampled and the original Trace.

Journal ArticleDOI
TL;DR: Steady-state analysis provides an additional criterion for comparing protocols and carefully re-examined the functional properties of these protocols, whose accurate formulation as temporal logic formulas in the action-based setting turns out to be quite involved.

Journal ArticleDOI
TL;DR: An approach to transform a class of proof obligations essentially similar to those generated in the Rodin platform into the input language of a category of automatic theorem provers known as SMT-solvers is presented.

Journal ArticleDOI
TL;DR: An approach to the formal development of mode-rich systems by refinement in Event-B is presented, formalising the concepts of modes and mode transitions as well as deriving specification and refinement patterns which support correct-by-construction system development.

Journal ArticleDOI
TL;DR: An in-depth view of how architects work with maintaining product line architectures at two internationally well-known automotive companies is presented and results indicate how the company's different core values influence the architects when defining and maintaining the architectures over time.

Journal ArticleDOI
TL;DR: This work proposes a generic and extensible design process for context-aware applications taking into account the quality of context (QoC), and shows that a context policy with 120 QoC-aware nodes can be processed in less than 100 ms on a mobile phone.