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

Software Engineering

Authors and titles for cs.SE in Dec 2020, skipping first 10

[ total of 155 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | ... | 151-155 ]
[ showing 10 entries per page: fewer | more | all ]
[11]  arXiv:2012.01057 [pdf, other]
Title: Software Module Clustering: An In-Depth Literature Analysis
Comments: 33 pages
Journal-ref: IEEE Transactions on Software Engineering 2021
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2012.01198 [pdf, other]
Title: Production Monitoring to Improve Test Suites
Journal-ref: IEEE Transactions on Reliability, 2021
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2012.01403 [pdf, other]
Title: Empirical Study on the Software Engineering Practices in Open Source ML Package Repositories
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[14]  arXiv:2012.01493 [pdf, ps, other]
Title: A Rely-Guarantee Specification of Mixed-Criticality Scheduling
Comments: This paper will appear in a Festschrift - on publication we will insert a pointer to the book
Journal-ref: Mathematical Foundations of Software Engineering, College Publication, 2022, Chap 6
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2012.01596 [pdf]
Title: Time-Aware Models for Software Effort Estimation
Comments: 5 Pages, Conference SEKE2020
Journal-ref: The 32nd International Conference on Software Engineering & Knowledge Engineering, Virtual, 9 - 19 July, 2020
Subjects: Software Engineering (cs.SE)
[16]  arXiv:2012.01614 [pdf, other]
Title: Explainable AI for Software Engineering
Comments: Under Review at IEEE Computer Magazine
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[17]  arXiv:2012.01648 [pdf, ps, other]
Title: Towards Compositional Verification for Modular Robotic Systems
Authors: Rafael C. Cardoso (The University of Manchester), Louise A. Dennis (The University of Manchester), Marie Farrell (The University of Manchester), Michael Fisher (The University of Manchester), Matt Luckcuck (The University of Manchester)
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Journal-ref: EPTCS 329, 2020, pp. 15-22
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[18]  arXiv:2012.01649 [pdf, other]
Title: YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
Authors: Mario Gleirscher (University of York)
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Journal-ref: EPTCS 329, 2020, pp. 31-47
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[19]  arXiv:2012.01651 [pdf, other]
Title: A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems
Authors: Fatma Kachi (LIRE Laboratory, University of Constantine2-Abdelhamid Mehri), Chafia Bouanaka (LIRE Laboratory, University of Constantine2-Abdelhamid Mehri), Souheir Merkouche (University of Constantine2-Abdelhamid Mehri)
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Journal-ref: EPTCS 329, 2020, pp. 48-64
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[20]  arXiv:2012.01655 [pdf, other]
Title: VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
Authors: Nils Weidmann (Paderborn University, Germany), Anthony Anjorin (IAV GmbH Ingenieurgesellschaft Auto und Verkehr, Germany), James Cheney (University of Edinburgh, United Kingdom)
Comments: In Proceedings GCM 2020, arXiv:2012.01181
Journal-ref: EPTCS 330, 2020, pp. 1-12
Subjects: Software Engineering (cs.SE)
[ total of 155 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | ... | 151-155 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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