AdaCore

 [An Introduction to CodePeer 2.3 Demo](http://www.youtube.com/watch?v=yj8qbsqTEow&feature=youtube_gdata) Table of Contents: 37:51 - What is new in CodePeer 2.3? 39:18 - What is new in CodePeer? (cont'd) 39:59 - What is new in CodePeer? (cont'd) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 176      1 ratings Time: 41:11 More in [Howto …

 [An Introduction to CodePeer 2.3 Demo](http://www.youtube.com/watch?v=yj8qbsqTEow&feature=youtube_gdata) Table of Contents: 37:51 - What is new in CodePeer 2.3? 39:18 - What is new in CodePeer? (cont'd) 39:59 - What is new in CodePeer? (cont'd) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 150      1 ratings Time: 41:11 More in [Howto …

 [An Introduction to CodePeer 2.3](http://www.youtube.com/watch?v=z5qqFpB9Rjc&feature=youtube_gdata) Table of Contents: 03:49 - 24:49 - CodePeer Checks and Warnings 24:55 - Run- time checks 26:06 - Other checks 26:55 - Liveness warnings 27:51 - Other warnings... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 279      0 ratings Time: 28:31 More in [Howto …

 [An Introduction to CodePeer 2.3](http://www.youtube.com/watch?v=z5qqFpB9Rjc&feature=youtube_gdata) Table of Contents: 03:49 - 24:49 - CodePeer Checks and Warnings 24:55 - Run- time checks 26:06 - Other checks 26:55 - Liveness warnings 27:51 - Other warnings... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 243      0 ratings Time: 28:31 More in [Howto …

 [SPARK and Tokeneer Demo](http://www.youtube.com/watch?v=2qyAksCfdSA&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1398      7 ratings Time: 05:30 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [SPARK and Tokeneer Demo](http://www.youtube.com/watch?v=2qyAksCfdSA&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1243      7 ratings Time: 05:30 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=174wt7a2iE0&feature=youtube_gdata) [Introducing AdaCore University](http://www.youtube.com/watch?v=174wt7a2iE0&feature=youtube_gdata) Introducing AdaCore University. A free e-learning center dedicated to teaching the Ada language and the use of related technologies. Start learning Ada: http... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 481      1 ratings Time: 02:07 More in [Howto & Style](http://www.youtube.com/videos?c=26)

 [Introducing AdaCore University](http://www.youtube.com/watch?v=174wt7a2iE0&feature=youtube_gdata) Introducing AdaCore University. A free e-learning center dedicated to teaching the Ada language and the use of related technologies. Start learning Ada: http... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1695      4 ratings Time: 02:07 More in [Howto & Style](http://www.youtube.com/videos?c=26)

 [Introducing AdaCore University](http://www.youtube.com/watch?v=174wt7a2iE0&feature=youtube_gdata) Introducing AdaCore University. A free e-learning center dedicated to teaching the Ada language and the use of related technologies. Start learning Ada: http... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1588      4 ratings Time: 02:07 More in [Howto & Style](http://www.youtube.com/videos?c=26)

[](http://www.youtube.com/wa tch?v=174wt7a2iE0&feature=youtube_gdata) [Introducing AdaCore University](http://www.youtube.com/watch?v=174wt7a2iE0&feature=youtube_gdata) Introducing AdaCore University. A free e-learning center dedicated to teaching the Ada language and the use of related technologies. Start learning Ada: http... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 845      1 ratings Time: 02:07 More in [Howto & Style](http://www.youtube.com/videos?c=26)

[](http://www.youtube.com/watch?v=HkgGOOXf- yo&feature=youtube_gdata) [Verification and Validation of Ada and mixed language applications on ARM](http://www.youtube.com/watch?v=HkgGOOXf-yo&feature=youtube_gdata) ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 167      2 ratings …

 [Verification and Validation of Ada and mixed language applications on ARM](http://www.youtube.com/watch?v=HkgGOOXf-yo&feature=youtube_gdata) ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 477      2 ratings Time: 32:32 …

 [Verification and Validation of Ada and mixed language applications on ARM](http://www.youtube.com/watch?v=HkgGOOXf-yo&feature=youtube_gdata) ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 436      2 ratings Time: 32:32 …

[](http://www.youtube.com/watch?v=HkgGOOXf- yo&feature=youtube_gdata) [Verification and Validation of Ada and mixed language applications on ARM](http://www.youtube.com/watch?v=HkgGOOXf-yo&feature=youtube_gdata) ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 228      2 ratings …

[](http://www.youtube.com/wa tch?v=Hy0-FP0CEf0&feature=youtube_gdata) [AdaCore Booth 719](http://www.youtube.com/watch?v=Hy0-FP0CEf0&feature=youtube_gdata) Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-l... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 157      3 ratings Time: 01:01 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [AdaCore Booth 719](http://www.youtube.com/watch?v=Hy0-FP0CEf0&feature=youtube_gdata) Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-l... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 199      3 ratings Time: 01:01 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [AdaCore Booth 719](http://www.youtube.com/watch?v=Hy0-FP0CEf0&feature=youtube_gdata) Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-l... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 198      3 ratings Time: 01:01 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=Hy0-FP0CEf0&feature=youtube_gdata) [AdaCore Booth 719](http://www.youtube.com/watch?v=Hy0-FP0CEf0&feature=youtube_gdata) Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-l... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 164      3 ratings Time: 01:01 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=yUqJkAZofZs&feature=youtube_gdata) [Ada Passion Series - Love](http://www.youtube.com/watch?v=yUqJkAZofZs&feature=youtube_gdata) Ada programmers share their thoughts on the language they love. From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 302      11 ratings Time: 03:48 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [Ada Passion Series - Love](http://www.youtube.com/watch?v=yUqJkAZofZs&feature=youtube_gdata) Ada programmers share their thoughts on the language they love. From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 398      11 ratings Time: 03:48 More in [Science & Technology](http://www.youtube.com/videos?c=28)