Geo-Locating the Knowledge Transfer in StackOverflow

By analyzing the transactions in Stack Overflow we can get a glimpse of the way in which the different geographical regions in the world contribute to the knowledge market represented by the website. In this paper we aggregate the knowledge transfer from the level of the users to the level of geographical regions and learn that Europe and North America are the principal and virtually equal contributors; Asia comes as a distant third, mainly represented by India; and Oceania contributes less than Asia but more than South America and Africa together.

Parsing for agile modeling

In order to analyze software systems, it is necessary to model them. Static software models are commonly imported by parsing source code and related data. Unfortunately, building custom parsers for most programming languages is a non-trivial endeavour. This poses a major bottleneck for analyzing software systems programmed in languages for which importers do not already exist. Luckily, initial software models do not require detailed parsers, so it is possible to start analysis with a coarse-grained importer, which is then gradually refined. In this paper we propose an approach to "agile modeling" that exploits island grammars to extract initial coarse-grained models, parser combinators to enable gradual refinement of model importers, and various heuristics to recognize language structure, keywords and other language artifacts.

Diversity of morphological patterns in supramolecular polymers formed from the amphiphilic oligomers of pyrenes

Herein we demonstrate that a substitution type of the pyrene in short amphiphilic oligomers determines a morphology of the assemblies formed. Thus, 1.6- and 2.7-linkages lead to a formation of micrometer-sized 2D supromolecular polymers with a constant thickness 2 nm (pictures A and B). These assemblies possess a high degree of an internal order: the interior consists of hydrophobic pyrenes and alkyl chains, whereas the exterior exists as a net of hydrophilic negatively charged phosphates. Contrary, a 1.8-linkage exclusiveley leads to a formation of long nanometer thick helical supramolecular polymers (picturee C). These structures tend to form even more complex assemblies (bundles, superhelixes). Moreover, for all samples the polymerization process occurs via a nucleation-elongation mechanism. To study Py3 self-assembly, we carried out whole set of spectroscopic (UV/vis, fluorescence, DLS) and microscopic experiments (AFM).

Hierarchical self-assembly of nucleotide-appended oligopyrenotides into defined supramolecular objects

Supramolecular DNA assembly blends DNA building blocks with synthetic organic molecules giving structural and functional advantages. Incorporating extended aromatic molecules as connectors of DNA strands allows folding of these strands through π-π stacking (DNA 'foldamers'). In previous work it was shown that short oligopyrenotides behave as staircase-like foldamers, which cooperatively self-assemble into 2D supramolecular polymers in aqueous medium. Herein, we demonstrate that 10-mer DNA-sequence conjugated with seven pyrene unites forms dimensionally-defined supramolecular polymers under thermodynamic conditions in water. We present the self-assembly behavior, morphologycal studies (AFM and TEM), and the spectroscopic properties (UV/vis, CD) of the investigated pyrene - conjugated DNA-sequence.

Formation of supramolecular polymers by chrysene oligomers

Supramolecular assembly of π-conjugated systems is of large interested due to the possibility to use them in electronic devices.[1] Chrysene is a polyaromatic hydrocarbon which has been studied e.g for organic light-emitting diodes (OLEDs).[2] In continuation of our previous work involving the supramolecular polymerisation of pyrene oligomers [3] an oligomer consisting of three chrysenes linked by phophodiesters was synthesised (Chry3). UV-Vis measurements show that aggregates of Chry3 are formed in aqueous medium. This is illustrated by general hypochromicity, a change in vibronic band intensities and, in particular, the appearance of a red-shifted absorption band in the S0 → S2 transition. The data suggest the formation of J-aggregates. The formation of supramolecular polymers is further studied by temperature-dependent absorption- and fluorescence measurements, and by atomic force microscopy (AFM).

A modular LHC built on the DNA three-way junction

Over the past years, in numerous studies the DNA double helix serves as a scaffold for the controlled arrangement of functional molecules, including a wide range of different chromophores. Other nucleic acid structures like the DNA three-way junction have been exploited for this purpose as well. Recently, the successful development of DNA-based light-harvesting antenna systems have been reported. Herein, we describe the use of the DNA three-way junction (3WJ) as a versatile scaffold for the modular construction of an artificial light harvesting complex (LHC). The LHC is based on a modular construction in which a phenanthrene antenna is located in one of the three stems and the acceptor is brought into proximity of the antenna through the annealing of the third strand. Phenanthrene excitation (320 nm) is followed by energy transfer to pyrene (resulting in exciplex emission), perylenediimide (quencher) or a cyanine dye (cyanine fluorescence).

Predicting dependencies using domain-based coupling

Software dependencies play a vital role in programme comprehension, change impact analysis and other software maintenance activities. Traditionally, these activities are supported by source code analysis; however, the source code is sometimes inaccessible or difficult to analyse, as in hybrid systems composed of source code in multiple languages using various paradigms (e.g. object-oriented programming and relational databases). Moreover, not all stakeholders have adequate knowledge to perform such analyses. For example, non-technical domain experts and consultants raise most maintenance requests; however, they cannot predict the cost and impact of the requested changes without the support of the developers. We propose a novel approach to predicting software dependencies by exploiting the coupling present in domain-level information. Our approach is independent of the software implementation; hence, it can be used to approximate architectural dependencies without access to the source code or the database. As such, it can be applied to hybrid systems with heterogeneous source code or legacy systems with missing source code. In addition, this approach is based solely on information visible and understandable to domain users; therefore, it can be efficiently used by domain experts without the support of software developers. We evaluate our approach with a case study on a large-scale enterprise system, in which we demonstrate how up to 65 of the source code dependencies and 77% of the database dependencies are predicted solely based on domain information.

How Do Software Architects Specify and Validate Quality Requirements?

Software architecture is the result of a design effort aimed at ensuring a certain set of quality attributes. As we show, quality requirements are commonly specified in practice but are rarely validated using automated techniques. In this paper we analyze and classify commonly specified quality requirements after interviewing professionals and running a survey. We report on tools used to validate those requirements and comment on the obstacles encountered by practitioners when performing such activity (e.g., insufficient tool-support; poor understanding of users needs). Finally we discuss opportunities for increasing the adoption of automated tools based on the information we collected during our study (e.g., using a business-readable notation for expressing quality requirements; increasing awareness by monitoring non-functional aspects of a system).

Dicto: A Unified DSL for Testing Architectural Rules

Software architecture consists of a set of design choices that can be partially expressed in form of rules that the implementation must conform to. Architectural rules are intended to ensure properties that fulfill fundamental non-functional requirements. Verifying architectural rules is often a non- trivial activity: available tools are often not very usable and support only a narrow subset of the rules that are commonly specified by practitioners. In this paper we present a new highly-readable declarative language for specifying architectural rules. With our approach, users can specify a wide variety of rules using a single uniform notation. Rules can get tested by third-party tools by conforming to pre-defined specification templates. Practitioners can take advantage of the capabilities of a growing number of testing tools without dealing with them directly.

Pangea: A Workbench for Statically Analyzing Multi-Language Software Corpora

Software corpora facilitate reproducibility of analyses, however, static analysis for an entire corpus still requires considerable effort, often duplicated unnecessarily by multiple users. Moreover, most corpora are designed for single languages increasing the effort for cross-language analysis. To address these aspects we propose Pangea, an infrastructure allowing fast development of static analyses on multi-language corpora. Pangea uses language-independent meta-models stored as object model snapshots that can be directly loaded into memory and queried without any parsing overhead. To reduce the effort of performing static analyses, Pangea provides out-of-the box support for: creating and refining analyses in a dedicated environment, deploying an analysis on an entire corpus, using a runner that supports parallel execution, and exporting results in various formats. In this tool demonstration we introduce Pangea and provide several usage scenarios that illustrate how it reduces the cost of analysis.

The Moldable Inspector: a framework for domain-specific object inspection

Answering run-time questions in object-oriented systems involves reasoning about and exploring connections between multiple objects. Developer questions exercise various aspects of an object and require multiple kinds of interactions depending on the relationships between objects, the application domain and the differing developer needs. Nevertheless, traditional object inspectors, the essential tools often used to reason about objects, favor a generic view that focuses on the low-level details of the state of individual objects. This leads to an inefficient effort, increasing the time spent in the inspector. To improve the inspection process, we propose the Moldable Inspector, a novel approach for an extensible object inspector. The Moldable Inspector allows developers to look at objects using multiple interchangeable presentations and supports a workflow in which multiple levels of connecting objects can be seen together. Both these aspects can be tailored to the domain of the objects and the question at hand. We further exemplify how the proposed solution improves the inspection process, introduce a prototype implementation and discuss new directions for extending the Moldable Inspector.