A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ A Abbassi, A Bandali, N Day, J Serna 2018 IEEE 8th International Model-Driven Requirements Engineering Workshop …, 2018 | 7 | 2018 |
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy J Serna, NA Day, S Farheen 2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017 | 7 | 2017 |
Bridging the Gap between ISO 26262 and Machine Learning: A Survey of Techniques for Developing Confidence in Machine Learning Systems J Serna, S Diemert, L Millet, R Debouk, S Ramesh, J Joyce SAE International Journal of Advances and Current Practices in Mobility 2 …, 2020 | 6 | 2020 |
Dash: declarative behavioural modelling in Alloy with control state hierarchy J Serna, NA Day, S Esmaeilsabzali Software and Systems Modeling 22 (2), 733-749, 2023 | 4 | 2023 |
Dash: Declarative Behavioural Modelling in Alloy J Serna University of Waterloo, 2019 | 3 | 2019 |
Dash: Declarative modelling with control state hierarchy (preliminary version) J Serna, NA Day, S Esmaeilsabzali University of Waterloo, 2018 | 1 | 2018 |