Woodcock, Jim orcid.org/0000-0001-7955-2702 (2022) CPD Course: Assured Software Engineering. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York.
Abstract
• Length: 5 days • Attendance: Full-time or remote • Pre-requisite: BSc Computer Science (or equivalent) • Deliver y: 50% lecture, 50% problem-based learning • Outcomes Understand model-based engineering + proof Understand Interactive proof techniques Use modelling, animation, & verification Understand advanced modelling techniques • Awards Attendance certificate CPD credits for BCS & IET
Metadata
Authors/Creators: |
|
||||
---|---|---|---|---|---|
Keywords: | Assurance, Software engineering, Modelling, Verification, CPD | ||||
Dates: |
|
||||
Institution: | The University of York | ||||
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) | ||||
Funding Information: |
|
||||
Depositing User: | Pure (York) | ||||
Date Deposited: | 16 Nov 2022 09:00 | ||||
Last Modified: | 06 Dec 2023 10:37 | ||||
Status: | Published | ||||
Refereed: | No |