CPD Course: Assured Software Engineering

Jim Woodcock

CPD Course: Assured Software Engineering

Computer Science

Research output: Contribution to conference › Poster

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

Original language	English
Number of pages	1
Publication status	Published - 11 Oct 2022
Event	YorRobots and RoboStar Industry Exhibition - University of York, York Duration: 11 Oct 2022 → 12 Oct 2022

Conference

Conference	YorRobots and RoboStar Industry Exhibition
City	York
Period	11/10/22 → 12/10/22

Keywords

Assurance
Software engineering
Modelling
Verification
CPD

Access to Document

RoboStarPosterCPDFinal published version, 1.36 MBLicence: Unspecified

UK Trustworthy Autonomous Systems Verifiability Node
Cavalcanti, A. L. C. & Woodcock, J.
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research

Cite this

@conference{b14c31ae7ae7462eb61ad8c2181d3f10,

title = "CPD Course: Assured Software Engineering",

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",

keywords = "Assurance, Software engineering, Modelling, Verification, CPD",

author = "Jim Woodcock",

year = "2022",

month = oct,

day = "11",

language = "English",

note = "YorRobots and RoboStar Industry Exhibition ; Conference date: 11-10-2022 Through 12-10-2022",

}

TY - CONF

T1 - CPD Course: Assured Software Engineering

AU - Woodcock, Jim

PY - 2022/10/11

Y1 - 2022/10/11

N2 - • 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

AB - • 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

KW - Assurance

KW - Software engineering

KW - Modelling

KW - Verification

KW - CPD

M3 - Poster

T2 - YorRobots and RoboStar Industry Exhibition

Y2 - 11 October 2022 through 12 October 2022

ER -

CPD Course: Assured Software Engineering

Abstract

Conference

Keywords

Access to Document

Projects

UK Trustworthy Autonomous Systems Verifiability Node

Cite this