Industrial deployment of system engineering methods providing high dependability and productivity
 

Sequential Program Development

Abrial, Jean-Raymond Sequential Program Development. [Teaching Resource] (Unpublished)

[img]
Preview
PDF (Sequential Program Development) - Presentation
382Kb
[img]ZIP Archive (Sequential Program Development - Binary Search (Rodin Platform archive)) - Supplemental Material
23Kb
[img]ZIP Archive (Sequential Program Development - Finding minimum element of an array (Rodin Platform archive)) - Supplemental Material
14Kb
[img]ZIP Archive (Sequential Program Development - Reversing an array (Rodin Platform archive)) - Supplemental Material
17Kb
[img]ZIP Archive (Sequential Program Development - Search (Rodin Platform archive)) - Supplemental Material
22Kb
[img]ZIP Archive (Sequential Program Development - Sorting (Rodin Platform archive)) - Supplemental Material
55Kb
[img]ZIP Archive (Sequential Program Development - Square Root (Rodin Platform archive)) - Supplemental Material
12Kb
[img]ZIP Archive (Sequential Program Development - Inverse (Rodin Platform archive)) - Supplemental Material
18Kb

Item Type:Teaching Resource
Subjects:Training > Event-B
Event-B > Event-B Examples
ID Code:122
Deposited By:Thai Son Hoang
Deposited On:19 Jun 2009 20:10
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved