Constructing medium sized efficient functional programs in Clean

Contains fulltext : 107652.pdf (author's version ) (Open Access

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)

Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is capable of analyzing all valid products (variants) without generating any of them explicitly. It takes as input only the common code base, which encodes all variants of a SPL, and produces analysis results corresponding to all variants. However, the computational cost of the lifted analysis still depends inherently on the number of variants (which is exponential in the number of features, in the worst case). For a large number of features, the lifted analysis may be too costly or even infeasible. In this paper, we introduce variability abstractions defined as Galois connections and use abstract interpretation as a formal method for the calculational-based derivation of approximate (abstracted) lifted analyses of SPL programs, which are sound by construction. Moreover, given an abstraction we define a syntactic transformation that translates any SPL program into an abstracted version of it, such that the analysis of the abstracted SPL coincides with the corresponding abstracted analysis of the original SPL. We implement the transformation in a tool, reconfigurator that works on Object-Oriented Java program families, and evaluate the practicality of this approach on three Java SPL benchmarks.Comment: 50 pages, 10 figure

Overcoming barriers towards Sustainable Product-Service Systems in Small and Medium-sized enterprises: State of the art and a novel Decision Matrix

The Sustainable Product-Service Systems are a promising approach based on a Triple Bottom Line perspective of the sustainability. However, its practical and effective adoption is still very limited and addresses significant barriers for the manufacturing firms. Furthermore, this emergent topic has been discussed by literature mainly in large company's context, turning in a very limited and immature stage the current body of knowledge for the Small and Medium-sized Enterprises (SMEs). Thus, considering the significance of small companies to the global economy and their intrinsic difficulties, the purpose of this study was to identify the main barriers involving the transition towards Sustainable Product-Service Systems in manufacturing Small and Medium-sized Enterprises as well as the strategies to overcome them. A systematic literature review of the past two decades was organized capturing the state of the art of the area. Findings reveal that internal barriers associated with intrinsic characteristics of SMEs become still more sensitive during the transition (e.g., limited financial resources, the lack of competences, follower mentality and resistance to change). As well as, barriers related with the novelty of Sustainable Product-Service Systems models require new attitudes to small companies (e.g., changing mindsets from product ownership to use, replacing the value of exchange by value in use involving long-term relations, understanding the Product-Service Systems concept) and particularly highlight the lack of models/methods supporting this transition. The practical contribution of this study is in organise a comprehensive body of knowledge on strategies to overcome barriers towards Sustainable Product-Service offering. Moreover, an innovative decision matrix supporting decision-makers during the Sustainable Product-Service System development was proposed from the literature review findings. (C) 2019 Elsevier Ltd. All rights reserved

Sharing Knowledge on Community-Driven Development in Indonesia: An Assessment of the Neighborhood Upgrading and Shelter Sector Project

The purpose of the study on which this report is based was to identify lessons from implementation of the Neighborhood Upgrading Shelter Sector Project (NUSSP) that would allow the success of this community-driven urban development initiative in Indonesia to be replicated elsewhere. In general, the study examined the extent to which the project contributed to improvements in service delivery and governance in the beneficiary communities. More specifically, the study's objectives were to assess (1) the quality and sustainability of infrastructure services delivered, (2) the extent to which subproject investment decisions corresponded to beneficiary needs and expressed demand, (3) the extent to which study-area residents were able to influence the behavior of their leaders and exact accountability from them, and (4) whether or not participation in community-driven development (CDD) subprojects influenced the nature of institutional arrangements for local service delivery lying outside the scope of the project

Open-Source, Open-Architecture SoftwarePlatform for Plug-InElectric Vehicle SmartCharging in California

This interdisciplinary eXtensible Building Operating System–Vehicles project focuses on controlling plug-in electric vehicle charging at residential and small commercial settings using a novel and flexible open-source, open-architecture charge communication and control platform. The platform provides smart charging functionalities and benefits to the utility, homes, and businesses.This project investigates four important areas of vehicle-grid integration research, integrating technical as well as social and behavioral dimensions: smart charging user needs assessment, advanced load control platform development and testing, smart charging impacts, benefits to the power grid, and smart charging ratepayer benefits

Scientists’ sense making when hypothesizing about disease mechanisms from expression data and their needs for visualization support

Abstract A common class of biomedical analysis is to explore expression data from high throughput experiments for the purpose of uncovering functional relationships that can lead to a hypothesis about mechanisms of a disease. We call this analysis expression driven, -omics hypothesizing. In it, scientists use interactive data visualizations and read deeply in the research literature. Little is known, however, about the actual flow of reasoning and behaviors (sense making) that scientists enact in this analysis, end-to-end. Understanding this flow is important because if bioinformatics tools are to be truly useful they must support it. Sense making models of visual analytics in other domains have been developed and used to inform the design of useful and usable tools. We believe they would be helpful in bioinformatics. To characterize the sense making involved in expression-driven, -omics hypothesizing, we conducted an in-depth observational study of one scientist as she engaged in this analysis over six months. From findings, we abstracted a preliminary sense making model. Here we describe its stages and suggest guidelines for developing visualization tools that we derived from this case. A single case cannot be generalized. But we offer our findings, sense making model and case-based tool guidelines as a first step toward increasing interest and further research in the bioinformatics field on scientists’ analytical workflows and their implications for tool design.http://deepblue.lib.umich.edu/bitstream/2027.42/109495/1/12859_2012_Article_6377.pd