FOSDEM is the biggest free and non-commercial event organized by and for the community. Its goal is to provide Free and Open Source developers a place to meet. No registration necessary.

   
Speakers
Jean-Pierre Rosen
Schedule
Day Saturday
Room AW1.121
Capacity 81
Start time 13:30
End time 13:55
Duration 00:25
Info
Track Ada Devroom

The contract model of Ada 2012

The basics of programming by contracts and how contracts were introduced in Ada 2012.

Ada 2005 already had assertions. The notion was considerably extended in Ada 2012, with pre- and post-conditions and type invariants. Together with other properties of the language that separate clearly interfaces from implementations, these new features provide an accurate description of the obligations and expectations of the user and of the provider of software components.

Next (up to 3) talks in the same room (AW1.121):

When Event Track
14:00-14:50 Multicore programming support in Ada Ada
15:00-15:25 Lovelace: towards a full Ada OS Ada
15:30-15:55 Programming Arduinos in Ada Ada

Events that start after this one (within 30 minutes):

When Event Track Where
14:00-14:50 Multicore programming support in Ada Ada AW1.121
14:00-14:15 Linux Kernel MultiPath TCP Lightning Talks Ferrer
14:00-14:25 The Aeolus Project Virtualization and Cloud Chavanne
14:00-14:30 WebApps: Building Real-time in the Web with XMPP Jabber and XMPP H.2213
14:00-14:30 Deep Dive into KDE Mobile development on N9/N950 (Harmattan) Open Mobile Linux AW1.120
14:00-14:30 FLOSSing for Good Legal Hygiene: Stories from the Trenches Legal Issues AW1.125
14:00-14:30 The state of Women & Mozilla Mozilla UD2.218A
14:00-14:30 Gluon Mono K.3.601
14:00-14:30 Using the OpenJDK to investigate covariance in Java Free Java K.4.401
14:00-14:30 Improving the Extensions and Template Center LibreOffice H.1309
14:00-14:50 Multi-CPU performance in PostgreSQL 9.2 PostgreSQL K.4.201
14:00-14:50 Beyond Traditional Mobile Linux Future of UI K.1.105
14:00-14:50 Ganeti: "how we did it" Hypervisors Janson
14:00-14:55 JBoss AS7 : Building JBoss AS 7 for Fedora JBoss.org K.3.201
14:00-15:00 Deployment and Use of X.509 in Free Software Components Hardware Cryptography H.2214
14:00-15:00 Multi-OS Continuous Packaging with Project-Builder.org CrossDistribution H.1302
14:00-15:00 Illumian, a new illumos based distribution CrossDistribution H.1301
14:00-15:00 dma_buf buffer sharing X.org+OpenICC K.3.401
14:00-15:00 License issues in Android Embedded Lameere
14:00-15:45 LPI Exam Session 1 Certification Guillissen
14:00-16:00 TYPO3 certification exams Certification UA2.114
14:00-16:00 BSDA certification exams Certification UA2.114
14:20-14:35 Dovecot: More than an email server Lightning Talks Ferrer
14:20-14:50 Sustainable mentorship CrossDesktop H.1308