Timothy C. Lethbridge
- Requirements for modelling tools for teaching
2024/07/09 by Jörg Kienzle, Steffen Zschaler, William P. Barnett +8 · 1 voice · 5 citations
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Teaching and Learning Programming
- Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
2024/01/31 by Kimya Khakzad Shahandashti, Mithila Sivakumar, Shahandashti, Kimya Khakzad +9 · 2 citations
Computer Science · Decision Sciences · Engineering · #FOS: Computer and information sciences #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research
- Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
2024/10/07 by Oluwafemi Odu, Alvine Boaye Belle, Odu, Oluwafemi +9 · 1 citation
Computer Science · Decision Sciences · Engineering · #FOS: Computer and information sciences #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Engineering Research
- A PRISMA-driven systematic mapping study on system assurance weakeners
2023/11/14 by Kimya Khakzad Shahandashti, Shahandashti, Kimya Khakzad, Alvine Boaye Belle +7 · 1 citation
Engineering · Decision Sciences · Computer Science · #Safety Systems Engineering in Autonomy #Risk and Safety Analysis #Software Reliability and Analysis Research