Altran Praxis English language selection button
Altran Praxis French language selection button
Altran Praxis English language label
Altran Praxis Logo
Altran Praxis Training image

Software Engineering Training

Software Engineering: Formal Specification using the Z Notation

Audience

Software engineers and managers who need to understand and analyse formal specifications using the Z notation.

Prerequisites

None. The course does not assume any prior understanding of set theory or predicate logic.

Training method

A four-day course based around modular presentations supported by practical examples and group exercises. This includes an in-depth case study based upon an Air Traffic Control systems application. The course is given by experienced practitioners who are able to bring to the classroom their extensive experience of systems development using formal techniques.

Training goals

To enable software engineering professionals and managers to understand the background and benefits to formal specification techniques and in particular to read and analyse specifications written using the Z notation.

You will learn

  • The background and value of using formal techniques in systems specification.
  • Basic logical concepts and their representation in Z.
  • The use of sets, relations, functions, sequences and predicate and propositional logic.
  • The concept of the Z Schema.
  • Using Z Schemas with predicate logic.
  • Practical issues of specification using Z.
  • An introduction to specification proof using modelling and state management.
  • Methods for analysing Z specifications.

Course Programme

Four-day course held either at your premises or at Altran Praxis offices.
For more information about this Altran Praxis training course or to book:
Email the Training Coordinator or
Telephone: +44 (0)1225 466991

Training courses

Course calendar

View the full calendar of Praxis training courses. More...

SPARK

A comprehensive portfolio of courses supporting the SPARK language. Courses range from an introductory overview for engineers and managers new to SPARK through to advanced program design and verification training aimed at experienced SPARK practitioners.
View courses...

Yellow Book

Targeted at engineers and managers involved with rail safety and safety management these courses introduce the fundamentals of engineering safety and safety management. The curriculum includes a short overview course aimed at managers new to safety management along with longer courses for practitioners using the Yellow Book in their day-to-day activity.
View courses...

REVEAL®

REVEAL® training provides in-depth insight into the systematic and principled approach to systems engineering that is REVEAL™. The training enables practitioners to learn a structured method for systems requirements capture and management, thereby providing a firm foundation for successful systems development. The systems engineers course is supplemented by shorter overview courses for managers and workshops tailored for particular systems needs.
View courses...

Safety engineering

A range of short, specific safety engineering courses designed to meet specific client objectives in safety engineering and safety management. The courses cover safety engineering techniques, safety management principles and practice and the interpretation and application of domain specific safety standards and legislation.
View courses...

Software engineering

Taking advantage of Praxis’ pedigree in advanced software engineering techniques a range of customer focused training is available aimed at bringing client engineers and managers up to speed in their application. The courses can be tailored to meet precise client requirements and cover specification and the use of formal computing, code development, verification and validation and configuration and build management.
View courses...

For more information about Altran Praxis training courses or to book, please email the

Training Coordinator

or telephone:
+44 (0)1225 466991.