Software Engineering with SPARK 2014

Bright Solutions Global PLC

Short course

Inhouse

£ 5001-6000

The best Other programming courses

See all

See all

Description

  • Type

    Short course

  • Level

    Advanced

  • Methodology

    Inhouse

  • Duration

    5 Days

  • Start date

    Different dates available

Business Group Bookings Only

A five-day course for programmers, managers, and software assessment/regulation personnel, which presents the principles of high assurance software development and verification using SPARK 2014. The course explains the rationale of SPARK 2014, describes the language and the principles of static code analysis, and shows how to use the SPARK language and the SPARK Pro Toolset both in new projects and in the context of existing (legacy)systems.

Facilities

Location

Start date

Inhouse

Start date

Different dates availableEnrolment now open

About this course

Aimed at engineers, managers and regulators (assessors) involved with the development and verification of high assurance software. No previous experience with SPARK or Ada is required

None

Questions & Answers

Add your question

Our advisors and other users will be able to reply to you

Who would you like to address this question to?

Fill in your details to get a reply

We will only publish your name and question

Reviews

This centre's achievements

2018

All courses are up to date

The average rating is higher than 3.7

More than 50 reviews in the last 12 months

This centre has featured on Emagister for 6 years

Subjects

  • Software Engineering
  • Engineering
  • Embedded systems design
  • Embedded systems development
  • Software
  • Hardware
  • IoT
  • Embedded
  • Embedded software
  • Embedded programming

Teachers and trainers (1)

Bright Solutions

Bright Solutions

Trainer

Course programme


#text-block-10 { margin-bottom:0px; text-align:left; }

The SPARK/Ada programming language – types, expressions, statements, subprograms, packages.
Introduction to static analysis and formal verification
Data dependency analysis
Flow dependency analysis
Programming with contracts

#text-block-11 { margin-bottom:0px; text-align:left; }

Modular / hybrid verification
Proving absence of run-time exceptions
Designing a SPARK program
State abstraction

See related categories

Software Engineering with SPARK 2014

£ 5001-6000

The best Other programming courses

See all

See all