Now showing items 275-294 of 459

    • Object-oriented software extensions in practice 

      Robbes R; Röthlisberger D; Tanter É (Kluwer Academic Publishers, 2015)
      As software evolves, data types have to be extended, possibly with new data variants or new operations. Object-oriented design is well-known to support data extensions well. In fact, most popular books showcase data ...
    • An observational user study for group recommender systems in the tourism domain 

      Delic A; Neidhardt J; Nguyen TN; Ricci G (2018)
      In this article we argue and give evidence that the research on group recommender systems must look more carefully at the dynamics of group decision-making in order to produce technologies that will be truly beneficial for ...
    • OCL-Lite: Finite reasoning on UML/OCL conceptual schemas 

      Queralt A; Artale A; Calvanese D; Teniente E (2012)
      To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL ...
    • Off-diagonal low-rank preconditioner for difficult PageRank problems 

      Shen ZL; Huang TZ; Carpentieri B; Wen C; Gu XM; Tan XY (North-Holland, 2019)
      PageRank problem is the cornerstone of Google search engine and is usually stated as solving a huge linear system. Moreover, when the damping factor approaches 1, the spectrum properties of this system deteriorate rapidly ...
    • On porting software visualization tools to the web 

      D'Ambros M; Lanza M; Lungu M; Robbes R (2011)
      Software systems are hard to understand due to the complexity and the sheer size of the data to be analyzed. Software visualization tools are a great help as they can sum up large quantities of data in dense, meaningful ...
    • On Simplification of Schema Mappings 

      Calvanese D; De Giacomo G; Lenzerini M; Vardi M (2013)
      A schema mapping is a formal specification of the relationship holding between the databases conforming to two given schemas, called source and target, respectively. While in the general case a schema mapping is specified ...
    • On the Comprehension of Workflows Modeled with a Precise Style: Results from a Family of Controlled Experiments 

      Reggio, G; Ricca, F; Scanniello, G; Dodero, G; Di Cerbo, F (Springer Verlag (Germany), 2015)
      In this paper, we present the results from a family of experiments conducted to assess whether the level of formality/precision in workflow modeling, based on UML activity diagrams, influences two aspects of construct ...
    • On the elusive notion of meta-agreement 

      Ottonelli V; Porello D (SAGE PUBLICATIONS INC, 2013)
      Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics ...
    • On the exact computation of the graph edit distance 

      Blumenthal DB; Gamper J (2018)
      The graph edit distance is a widely used distance measure for labelled graph. However, the standard approach for its exact computation, suffers from huge runtime and memory requirements. Recently, three better performing ...
    • On the integration of declarative choreographies and commitment-based agent societies into the SCIFF logic programming framework 

      Chesani, F; Mello, P; Montali, M; Storari, S; Torroni, P (IOS Press, 2010)
      The definition of choreography specification languages for Service Oriented Systems poses important challenges. Mainstream approaches tend to focus on procedural aspects, leading to over-constrained and over-specified ...
    • On the reaction to deprecation of clients of 4 + 1 popular Java APIs and the JDK 

      Sawant A; Robbes R; Bacchelli A (2018)
      Application Programming Interfaces (APIs) are a tremendous resource—that is, when they are stable. Several studies have shown that this is unfortunately not the case. Of those, a large-scale study of API changes in the ...
    • On the Relevance of a Business Constraint to an Event Log 

      Di Ciccio C; Maggi FM; Montali M; Mendling J (Elsevier, 2018)
      Declarative process modeling languages such as DECLARE describe the behavior of processes by means of constraints. Such constraints exert rules on the execution of tasks upon the execution of other tasks called activations. ...
    • On the use of replacement messages in API deprecation: An empirical study 

      Brito G; Hora H; Valente MT; Robbes R (2018)
      Libraries are commonly used to support code reuse and increase productivity. As any other system, they evolve over time, and so do their APIs. Consequently, client applications should be updated to benefit from better APIs. ...
    • On the use of type predicates in object-oriented software: The case of smalltalk 

      Callaú O; Robbes R; Tanter É; Röthlisberger D; Bergel A (Association for Computing Machinery, 2015)
      Object-orientation relies on polymorphism to express behavioral variants. As opposed to traditional procedural design, explicit type-based conditionals should be avoided. This message is conveyed in introductory material ...
    • An Ontological Approach to Creating an Andean Weaving Knowledge Base 

      Brownlow, R; Capuzzi, S; Helmer, S; Martins, L; Normann, I; Poulovassilis, A (Association for Computing Machinery (ACM), 2015)
      Andean textiles are products of one of the richest, oldest and continuous weaving traditions in the world. Understanding the knowledge and practice of textile production as a form of cultural heritage is particularly ...
    • An ontological framework for web service processes 

      Pahl C; Barrett R (World Scientific Publishing, 2008)
      The process notion is central in computing. Business processes and workflow processes are essential elements of software systems implementations. Processes are connected to notions of interaction and composition. The Web ...
    • Ontological modelling of form and function for architectural design 

      Bhatt, M; Hois, J; Kutz, O (IOS Press, 2012)
      Form, function and the relationship between the two serve a crucial role in design. Within architectural design, key aspects of the anticipated function of buildings, or of spatial environments in general, are supposed to ...
    • Ontology Based Data Access in Statoil 

      Kharlamov E; Hovland D; Skjæveland MG; Bilidas D; Jiménez-Ruiz E; Xiao G; Soylu A; Lanti D; Rezk M; Zheleznyakov D; Giese M; Lie H; Ioannidis Y; Kotidis Y; Koubarakis M; Waaler A (2017)
      Ontology Based Data Access (OBDA) is a prominent approach to query databases which uses an ontology to expose data in a conceptually clear manner by abstracting away from the technical schema-level details of the underlying ...
    • Ontology change management and identification of change patterns 

      Javed M; Abgaz YM; Pahl C (Springer, 2012)
      Ontologies can support a variety of purposes, ranging from capturing the conceptual knowledge to the organisation of digital content and information. However, information systems are always subject to change and ontology ...
    • An ontology for software component matching 

      Pahl C (Springer Verlag, 2007)
      Matching is a central activity in the discovery and assembly of reusable software components. We investigate how ontology technologies can be utilised to support software component development. We use description logics, ...