'Vdm' diaporamas de présentation

Introduction to VDM2, Simple AST extensions and Concurrency in VDM++

Introduction to VDM2, Simple AST extensions and Concurrency in VDM++. Professor Peter Gorm Larsen ( pgl@iha.dk ). Agenda. Administrative information about the course Simple AST Extensions Concurrency primitives in VDM++ Example: POP3 Server Example: MSAWConc Concurrency and Overture

765 views • 64 slides

Potential thesis projects

277 views • 18 slides

Potential thesis projects

229 views • 16 slides

Short summary and comments on the machine session

281 views • 14 slides

Two courses on VDM++ for Embedded Systems: Learning by Doing

Two courses on VDM++ for Embedded Systems: Learning by Doing. Professor Peter Gorm Larsen Engineering College of Aarhus Computer Technology & Embedded Systems (pgl@iha.dk). Background of Students. Students at MSc level but with an BSc in Engineering of embedded systems as background

210 views • 11 slides