Software Engineering

Authors and titles for April 2016

[1] arXiv:1604.00346 [pdf, other]

Title: Refactoring Delta-Oriented Product Lines to achieve Monotonicity

Ferruccio Damiani (University of Torino, Italy), Michael Lienhardt (University of Torino, Italy)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 2-16

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[2] arXiv:1604.00347 [pdf, other]

Title: Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation

Frederik Deckwerth (TU Darmstadt), Géza Kulcsár (TU Darmstadt), Malte Lochau (TU Darmstadt), Gergely Varró (TU Darmstadt), Andy Schürr (TU Darmstadt)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 17-31

Subjects: Software Engineering (cs.SE)

[3] arXiv:1604.00348 [pdf, other]

Title: Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

Matthias Kowal (TU Braunschweig), Ina Schaefer (TU Braunschweig)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 32-45

Subjects: Software Engineering (cs.SE)

[4] arXiv:1604.00349 [pdf, other]

Title: Analysis of Feature Models Using Alloy: A Survey

Anjali Sree-Kumar (Universitat Oberta de Catalunya), Elena Planas (Universitat Oberta de Catalunya), Robert Clarisó (Universitat Oberta de Catalunya)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 46-60

Subjects: Software Engineering (cs.SE)

[5] arXiv:1604.00830 [pdf, other]

Title: Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics

Mitchell Joblin, Sven Apel, Claus Hunsen, Wolfgang Mauerer

Subjects: Software Engineering (cs.SE)

[6] arXiv:1604.01450 [pdf, other]

Title: Does Technical Debt Lead to the Rejection of Pull Requests?

Marcelino Campos Oliveira Silva, Marco Tulio Valente, Ricardo Terra

Comments: Accepted at the Brazilian Symposium on Information Systems (SBSI), p. 1-7, 2016

Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)

[7] arXiv:1604.03184 [pdf, other]

Title: Desiree - a Refinement Calculus for Requirements Engineering

Feng-Lin Li, John Mylopoulos

Comments: PhD thesis, University of Trento, 235 pages, 26 figures. second author supervised this work

Subjects: Software Engineering (cs.SE)

[8] arXiv:1604.03212 [pdf, other]

Title: Recommendations for web service composition by mining usage logs

R Vivek, Prasad Mirje, N Sushmitha

Subjects: Software Engineering (cs.SE); Databases (cs.DB)

[9] arXiv:1604.03453 [pdf, other]

Title: Service Intelligence Oriented Distributed Data Stream Integration

Feng-Lin Li, Chi-Hung Chi, Yue Wang, Cong Liu

Comments: To be submitted to FGCS, 28 pages, 15 figures

Subjects: Software Engineering (cs.SE)

[10] arXiv:1604.04638 [pdf, other]

Title: DISTEA: Efficient Dynamic Impact Analysis for Distributed Systems

Haipeng Cai, Douglas Thain

Comments: 12 pages, 4 figures, 4 tables

Journal-ref: IEEE/ACM Automated Software Engineering (ASE), 2016

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[11] arXiv:1604.04716 [pdf, other]

Title: Requirements Evolution and Evolution Requirements with Constrained Goal Models

Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos

Comments: er2016 submission extended version, 18 pages. arXiv admin note: text overlap with arXiv:1601.07409

Subjects: Software Engineering (cs.SE)

[12] arXiv:1604.05389 [pdf, other]

Title: A Model-based Approach for Effective Service Delivery

Feng-Lin Li, Chi-Hung Chi

Subjects: Software Engineering (cs.SE)

[13] arXiv:1604.05503 [pdf, other]

Title: Data stream mining for predicting software build outcomes using source code metrics

Jacqui Finlay, Russel Pears, Andy M. Connor

Journal-ref: Information & Software Technology, 56(2), 183-198 (2014)

Subjects: Software Engineering (cs.SE)

[14] arXiv:1604.05577 [pdf, other]

Title: Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System

Nadeem Akhtar, Malik M. Saad Missen

Comments: arXiv admin note: text overlap with arXiv:1501.05120

Journal-ref: European Journal of Scientific Research, ISSN 1450-216X / 1450-202X Vol.117 No.1 January, 2014, pp. 35-55

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[15] arXiv:1604.05903 [pdf, other]

Title: A declarative Language for Rapid Business Development

Nabarun Mondal, Jatin Puri, Mrunal Lohia

Comments: 6 pages

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[16] arXiv:1604.06766 [pdf, other]

Title: A Novel Approach for Estimating Truck Factors

Guilherme Avelino, Leonardo Passos, Andre Hora, Marco Tulio Valente

Comments: Accepted at 24th International Conference on Program Comprehension (ICPC)

Subjects: Software Engineering (cs.SE)

[17] arXiv:1604.06781 [pdf, other]

Title: Long-Term Average Cost in Featured Transition Systems

Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay

Subjects: Software Engineering (cs.SE)

[18] arXiv:1604.07474 [pdf, other]

Title: Advancing Dynamic Fault Tree Analysis

Matthias Volk, Sebastian Junges, Joost-Pieter Katoen

Subjects: Software Engineering (cs.SE)

[19] arXiv:1604.07642 [pdf, other]

Title: Ozy: A General Orchestration Container

Glenn Osborne, Tim Weninger

Comments: 8 pages, 8 figures, accepted at IEEE Intl Conf. on Web Services (ICWS), San Francisco, CA, 2016

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[20] arXiv:1604.07973 [pdf, other]

Title: Reference and Structure of Software Engineering Theories

Andrés Silva

Comments: Position paper, 4 pages

Subjects: Software Engineering (cs.SE)

[21] arXiv:1604.08155 [pdf, other]

Title: On Implementing Real-time Specification Patterns Using Observers

John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp

Comments: In the proceedings of the NASA Formal Methods Symposium 2016

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[22] arXiv:1604.08255 [pdf, other]

Title: The Algorithmic Autoregulation Software Development Methodology

Renato Fabbri, Ricardo Fabbri, Vilson Vieira, Daniel Penalva, Danilo Shiga, Marcos Mendonca, Alexandre Negrao, Lucas Zambianchi, Gabriela Thume

Journal-ref: RESI, v. 13, n. 2, 2014

Subjects: Software Engineering (cs.SE)

[23] arXiv:1604.08784 [pdf, other]

Title: Deriving approximation tolerance constraints from verification runs

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim

Subjects: Software Engineering (cs.SE)

[24] arXiv:1604.00025 (cross-list from cs.CR) [pdf, other]

Title: A Java Data Security Framework (JDSF) and its Case Studies

Serguei A. Mokhov, Lee Wei Huynh, Jian Li, Farid Rassai

Comments: a 2007 project report; parts appeared in various conferences; includes index

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[25] arXiv:1604.00204 (cross-list from cs.CR) [pdf, other]

Title: Verifying Security Policies using Host Attributes

Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle

Comments: In FORTE - 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, June 2014

Journal-ref: Formal Techniques for Distributed Objects, Components, and Systems Volume 8461 of the series Lecture Notes in Computer Science, 2014, Springer

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

[26] arXiv:1604.00273 (cross-list from cs.NI) [pdf, other]

Title: Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations

Cornelius Diekmann, Andreas Korsten, Georg Carle

Comments: In 2nd International Workshop on Management of SDN and NFV Systems, manSDN/NFV, Barcelona, Spain, November 2015

Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[27] arXiv:1604.01184 (cross-list from cs.PL) [pdf, other]

Title: Eilenberg--Moore Monoids and Backtracking Monad Transformers

Maciej Piróg (Department of Computer Science, KU Leuven, Belgium)

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal-ref: EPTCS 207, 2016, pp. 23-56

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[28] arXiv:1604.02368 (cross-list from cs.CR) [pdf, other]

Title: A Security Evaluation Framework for U.K. E-Goverment Services Agile Software Development

Steve Harrison, Antonis Tzounis, Leandros A. Maglaras, Francois Siewe, Richard Smith, Helge Janicke

Comments: 19 pages, 4 figures, International Journal of Network Security & Its Applications (IJNSA) Vol.8, No.2, March 2016

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[29] arXiv:1604.03219 (cross-list from astro-ph.IM) [pdf, other]

Title: Offline software for the DAMPE experiment

Chi Wang, Dong Liu, Yifeng Wei, Zhiyong Zhang, Yunlong Zhang, Xiaolian Wang, Zizong Xu, Guangshun Huang, Andrii Tykhonov, Xin Wu, Jingjing Zang, Yang Liu, Wei Jiang, Sicheng Wen, Jian Wu, Jin Chang

Comments: 8 pages, 12 figures

Journal-ref: Chin. Phys. C. 41(10): 106201(2017)

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Software Engineering (cs.SE); High Energy Physics - Experiment (hep-ex)

[30] arXiv:1604.04389 (cross-list from cs.HC) [pdf, other]

Title: Composing applications with OntoCompo

Christian Brel (I3S, SPARKS), Philippe Renevier-Gonin (SPARKS, I3S)

Comments: démonstration à la conférence IHM 2011

Journal-ref: IHM 2011, 23\`eme Conf\'erence Francophone Sur l'Interaction Homme Machine, Oct 2011, Biot, France. ACM, pp.141-144, 2011, IHM '11 Proceedings of the 23rd Conference on l'Interaction Homme-Machine

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[31] arXiv:1604.04591 (cross-list from cs.DC) [pdf, other]

Title: An Interference-Free Programming Model for Network Objects

Mischael Schill, Christopher M. Poskitt, Bertrand Meyer

Journal-ref: In Proc. International Conference on Coordination Models and Languages (COORDINATION 2016), volume 9686 of LNCS, pages 227-244. Springer, 2016

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL); Software Engineering (cs.SE)

[32] arXiv:1604.05508 (cross-list from cs.RO) [pdf, other]

Title: Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions

Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder

Subjects: Robotics (cs.RO); Software Engineering (cs.SE)

[33] arXiv:1604.07201 (cross-list from cs.PL) [pdf, other]

Title: Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis

Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga

Comments: Presented in the 23rd Static Analysis Symposium (SAS 2016)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Software Engineering (cs.SE)