2 papers
cs.SE2024
Portus: Linking Alloy with SMT-based Finite Model Finding
Ryan Dancy, Nancy A. Day, Owen Zila +2
Alloy is a well-known, formal, declarative language for modelling systems early in the software development process. Currently, it uses the Kodkod library as a back-end for finite…
cs.SE2023
Diversity in Software Engineering Conferences and Journals
Aditya Shankar Narayanan, Dheeraj Vagavolu, Nancy A Day +1
Diversity with respect to ethnicity and gender has been studied in open-source and industrial settings for software development. Publication avenues such as academic conferences an…