Software Engineering

Authors and titles for cs.SE in Apr 2016

[1]  arXiv:1604.00346 [pdf, ps, other]

Title: Refactoring Delta-Oriented Product Lines to achieve Monotonicity

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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?

Authors: 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

Authors: 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, ps, other]

Title: Recommendations for web service composition by mining usage logs

Authors: R Vivek, Prasad Mirje, N Sushmitha

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

[9]  arXiv:1604.03453 [pdf, ps, other]

Title: Service Intelligence Oriented Distributed Data Stream Integration

Authors: 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

Authors: 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

Authors: 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, ps, other]

Title: A Model-based Approach for Effective Service Delivery

Authors: Feng-Lin Li, Chi-Hung Chi

Subjects: Software Engineering (cs.SE)

[13]  arXiv:1604.05503 [pdf, ps, other]

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

Authors: 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, ps, other]

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

Authors: 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, ps, other]

Title: A declarative Language for Rapid Business Development

Authors: 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

Authors: 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, ps, other]

Title: Long-Term Average Cost in Featured Transition Systems

Authors: 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

Authors: Matthias Volk, Sebastian Junges, Joost-Pieter Katoen

Subjects: Software Engineering (cs.SE)

[19]  arXiv:1604.07642 [pdf, ps, other]

Title: Ozy: A General Orchestration Container

Authors: 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, ps, other]

Title: Reference and Structure of Software Engineering Theories

Authors: 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

Authors: 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, ps, other]

Title: The Algorithmic Autoregulation Software Development Methodology

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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, ps, other]

Title: Eilenberg--Moore Monoids and Backtracking Monad Transformers

Authors: 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, ps, other]

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

Authors: 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.04389 (cross-list from cs.HC) [pdf, ps, other]

Title: Composing applications with OntoCompo

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

Comments: d\'emonstration \`a la conf\'erence 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)

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

Title: An Interference-Free Programming Model for Network Objects

Authors: 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)

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

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

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

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

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

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

Authors: 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)

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

Title: Offline software for the DAMPE experiment

Authors: 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)