We gratefully acknowledge support from
the Simons Foundation and member institutions.

Software Engineering

Authors and titles for cs.SE in Apr 2016

[ total of 33 entries: 1-25 | 26-33 ]
[ showing 25 entries per page: fewer | more | all ]
[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
Subjects: Software Engineering (cs.SE)
[6]  arXiv:1604.01450 [pdf, other]
Title: Does Technical Debt Lead to the Rejection of Pull Requests?
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
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]
Title: Recommendations for web service composition by mining usage logs
Subjects: Software Engineering (cs.SE); Databases (cs.DB)
[9]  arXiv:1604.03453 [pdf, ps, other]
Title: Service Intelligence Oriented Distributed Data Stream Integration
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
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
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]
Title: A Model-based Approach for Effective Service Delivery
Subjects: Software Engineering (cs.SE)
[13]  arXiv:1604.05503 [pdf]
Title: Data stream mining for predicting software build outcomes using source code metrics
Journal-ref: Information & Software Technology, 56(2), 183-198 (2014)
Subjects: Software Engineering (cs.SE)
[14]  arXiv:1604.05577 [pdf]
Title: Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
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
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
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
Subjects: Software Engineering (cs.SE)
[18]  arXiv:1604.07474 [pdf, other]
Title: Advancing Dynamic Fault Tree Analysis
Subjects: Software Engineering (cs.SE)
[19]  arXiv:1604.07642 [pdf, ps, other]
Title: Ozy: A General Orchestration Container
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
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]
Title: The Algorithmic Autoregulation Software Development Methodology
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
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
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
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)
[ total of 33 entries: 1-25 | 26-33 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2211, contact, help  (Access key information)