Overcoming Language Dichotomies: Toward Effective Program Comprehension for Mobile App Development

Mobile devices and platforms have become an established target for modern software developers due to performant hardware and a large and growing user base numbering in the billions. Despite their popularity, the software development process for mobile apps comes with a set of unique, domain-specific challenges rooted in program comprehension. Many of these challenges stem from developer difficulties in reasoning about different representations of a program, a phenomenon we define as a "language dichotomy". In this paper, we reflect upon the various language dichotomies that contribute to open problems in program comprehension and development for mobile apps. Furthermore, to help guide the research community towards effective solutions for these problems, we provide a roadmap of directions for future work.Comment: Invited Keynote Paper for the 26th IEEE/ACM International Conference on Program Comprehension (ICPC'18

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details

Assessment of mechanical properties and microstructure characterizing techniques in their ability to quantify amount of cold work in 316l alloy

Stress corrosion cracking (SCC) behavior is a matter of concern for structural materials, namely, stainless steels and nickel alloys, in nuclear power plants. High levels of cold work (CW) have shown to both reduce crack initiation times and increase crack growth rates. Cold working has numerous effects on a material, including changes in microstructure, mechanical properties, and residual stress state, yet it is typically reported as a simple percent change in geometry. There is need to develop a strategy for quantitative assessment of cold-work level in order to better understand stress corrosion cracking test data. Five assessment techniques, commonly performed alongside stress corrosion cracking testing (optical microscopy (OM), electron backscatter diffraction (EBSD), X-ray diffraction (XRD), tensile testing, and hardness testing) are evaluated with respect to their ability to quantify the level of CW in a component. The test material is stainless steel 316L that has been cold-rolled to three conditions: 0%, 20%, and 30% CW. Measurement results for each assessment method include correlation with CW condition and repeatability data. Measured values showed significant spatial variation, illustrating that CW level is not uniform throughout a component. Mechanical properties (tensile testing, hardness) were found to correlate most linearly with the amount of imparted CW