SC Harvester Papers Database Interface

Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment

Emil Andriescu, A. Bennaceur, P. Inverardi, V. Issarny, Romina Spalazzese et al. In: . 2012

Project Final Report Final Publishable Summary Report

E. Grousset, V. Issarny, A. Bennaceur, A. Bertolino, D. Mulas et al. In: . 2012

Comparison of cross-platform mobile development tools

M. Palmieri, I. Singh, A. Cicchetti. In: 2012 16th International Conference on Intelligence in Next Generation Networks. 2012

Synthesis, Characterization, and In Vitro Evaluation of New Ibuprofen Polymeric Prodrugs Based on 2-Hydroxypropyl Methacrylate

M. Babazadeh, M. Sheidaei, S. Abbaspour, L. Edjlali. In: Scientia Pharmaceutica. 2012

Abstract: The present research work describes the synthesis and evaluation of new acrylic-type polymeric systems having degradable ester bonds linked to ibuprofen as materials for drug delivery. Ibuprofen was linked to 2-hydroxy-propyl methacrylate by an activated ester methodology in a one-pot procedure with a high yield. The resulting material was copolymerized with either 2-hydroxyethyl methacrylate or m...

Supporting Awareness during Collaborative and Distributed Configuration of Multi Product Lines

G. Holl, P. Grünbacher, Christoph Elsner, Thomas Klambauer. In: 2012 19th Asia-Pacific Software Engineering Conference. 2012

Abstract: Today's large-scale software systems are frequently based on system-of-systems architectures comprising multiple heterogeneous systems. Multi product lines have been presented as an approach to ease their development through systematic reuse. In multi product lines different users and teams are involved in product derivation. Users configure the involved product lines in a collaborative and distri...

Fully Bounded Polyhedral Analysis of Integers with Wrapping

Stefan Bygde, B. Lisper, N. Holsti. In: . 2012

Abstract: Analysis of convex polyhedra using abstract interpretation is a common and powerful program analysis technique to discover linear relationships among variables in a program. However, the classical way of performing polyhedral analysis does not model the fact that values typically are stored as fixed-size binary strings and usually have a wrap-around semantics in the case of overflows. In embedded ...

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study

Narges Khakpour, S. Jalili, M. Sirjani, U. Goltz, Bahareh Abolhasanzadeh. In: J. Syst. Softw.. 2012

Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems

M. Maggio, H. Hoffmann, A. Papadopoulos, Jacopo Panerati, M. Santambrogio et al. In: ACM Trans. Auton. Adapt. Syst.. 2012

Message from WEISS-12 workshop chairs

J. Chen, I. Mcloughlin, Hsung-Pin Chang, Da-Wei Chang, Mei-Ling Chiang et al. In: . 2012

Agile Practices in Regulated Railway Software Development

Henrik Jonsson, S. Larsson, S. Punnekkat. In: 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops. 2012

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262

Raghad Dardar, B. Gallina, Andreas Johnsen, K. Lundqvist, M. Nyberg. In: 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops. 2012

A Light-Weight Defect Classification Scheme for Embedded Automotive Software and Its Initial Evaluation

Niklas Mellegård, M. Staron, Fredrik Törner. In: 2012 IEEE 23rd International Symposium on Software Reliability Engineering. 2012

Towards a Methodology for Hardware and Software Design Separation in Embedded Systems

Gaetana Sapienza, T. Seceleanu, I. Crnkovic. In: . 2012

Towards understanding requirements engineering in IT ecosystems

Alessia Knauss, Arber Borici, E. Knauss, Daniela E. Damian. In: 2012 Second IEEE International Workshop on Empirical Requirements Engineering (EmpiRE). 2012

Dione: an integrated measurement and defect prediction solution

Bora Caglayan, Ayse Tosun Misirli, G. Çalıklı, A. Bener, Turgay Aytac et al. In: . 2012