Software Engineering

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

[6]  arXiv:2012.00829 [pdf, other]

Title: Customizing Host IDE for Non-programming Users of Pure Embedded DSLs: A Case Study

Authors: Milan Nosáľ, Jaroslav Porubän, Matúš Sulír

Journal-ref: Computer Languages, Systems and Structures (COMLAN), Vol. 49, 2017, pp. 101-118

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

[7]  arXiv:2012.00856 [pdf, ps, other]

Title: Using Formal Methods for Autonomous Systems: Five Recipes for Formal Verification

Authors: Matt Luckcuck

Comments: Accepted at Journal of Risk and Reliability

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

[8]  arXiv:2012.00992 [pdf, other]

Title: Characterizing Commodity Serverless Computing Platforms

Authors: Jinfeng Wen, Yi Liu, Zhenpeng Chen, Junkai Chen, Yun Ma

Subjects: Software Engineering (cs.SE)

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

Title: A Methodology for Deriving Evaluation Criteria for Software Solutions

Authors: Harald Papp, Marc Hanussek

Comments: 12 pages, 2 figures, 2 Tables, shortened version accepted at ICORES 2021 (this http URL)

Subjects: Software Engineering (cs.SE)

[10]  arXiv:2012.01028 [pdf, other]

Title: CRaDLe: Deep Code Retrieval Based on Semantic Dependency Learning

Authors: Wenchao Gu, Zongjie Li, Cuiyun Gao, Chaozheng Wang, Hongyu Zhang, Zenglin Xu, Michael R.Lyu

Journal-ref: Neural Networks, 2021, 141: 385-394

Subjects: Software Engineering (cs.SE)