PyParis 2017 / Un mooc python, by thierry parmentelat

Aug 31, 20171 like2,461 views

The document discusses a MOOC on Python programming offered on the FUN platform in France. It provides details on the audience, which is French-speaking students with some exposure to programming. Around 33,000 students have registered across 3 sessions so far. The course materials include videos, quizzes, and Jupyter notebooks hosted on a separate infrastructure that allows notebooks to be viewed within the online course platform. The content covers basic and advanced Python concepts across 7 weeks. Feedback is welcomed to help update the course for an upcoming session that will transition to teaching Python 3.

MOOC PYTHON / FUN
Thierry Parmentelat - Inria
PyParis, May 13th 2017
Auteurs : Arnaud Legout & Thierry Parmentelat

30,000 ft
for whom: figures about the audience
what: scope
how: thanks jupyter !

Plateforme FUN
http://fun-mooc.fr/

TARGET (1)
french-speaking MOOC
target audience : BAC+2
not the actual audience..

TARGET (2)
little exposure to programming
but not newbie-oriented either
python as a tool - and not as an end
still thorough review of python concepts

FIGURES
past: 3 sessions so far: 2014, 2015, 2016
33268 total registered students
for python2.7
next: being rewritten for python3
shooting in Sept - run in Nov/Dec
inputs welcome !

PyParis 2017 / Un mooc python, by thierry parmentelat

SESSION 2Niveau d'études
Connaissances
préalables de Python

SESSION 2
Niveau d'études
Sources: statistiquesFUN et réponsesau questionnaire
Environ 80%
et 20% de
Moyenne d'âge : e

SESSION 2
Situation actuelle
- Belgique
- Sénégal
- Cameroun
- Togo
- Brésil
ron 80% d'hommes
t 20% de femmes

WORTH NOTING
a few institutions instruct their students
to follow the MOOC online
and then organize their own exams
namely: UPMC, CentraleSupelec
as well as a few master programs

THE PIECES
7 - rather dense - weeks, with
videos - of course ..
quiz - as supported by FUN (marginal use)
notebooks - more on this later
forum : very active, hence the ‘scheduled' runs

COMMON TRACK (W1-W5)
getting started
basic types, functions, syntax
advanced types, 
shared refs, copies
packages / modules
iterables / iterators
comprehensions
functional objects
argument passing
attributes
classes - inheritance 
overloading operators
generators / gen exps
exceptions

ADVANCED TRACK (W6-W7)
generators
advanced attributes
decorators
metaclasses
mini-projects
data
networking
system

LITTLE OR NO COVERAGE
stdlib: only touch on some tools
benchmarking / profiling / debugging :
only mentioned en passant
not covered numpy, a fortiori pandas
not covered : testing

REQUIREMENTS
need for some programming sandbox
integrated with the FUN / edx platform
without requiring a local installation
potentially extensible:
auto correction
auto illustration

EDX/INTEGRATION
In order to allow for notebooks inside FUN/edX :
new type of component (video, quiz, … notebook)
that simply redirects to a separate architecture
through an <iframe>

NOTEBOOK INFRA
accepts all incoming URLs from FUN’s IP
create Unix accounts / student on the fly
hosts as many notebook servers as students
copies master notebooks on demand

NBHOSTING
a replacement for a former quick-and-dirty solution
http://github.com/parmentelat/nbhosting
based on
nginx, for reverse-proxy / firewall-friendly
django, for internal logic
docker, for isolation / student + 1 course = 1 image

THANK YOU
again : inputs for the python3
next release are more than welcome !

This document describes a presentation on circuit simulation using Python. It discusses using Python as an engineering language due to its high-level syntax, object orientation, and large scientific environment. It then provides an overview of circuit simulation workflows and SPICE as an industry standard. The remainder of the document is the slide content from the presentation, which covers nodal analysis techniques, different types of circuit analyses in SPICE, open source SPICE clones, and PySpice which acts as a bridge between SPICE simulations in Ngspice and analysis in Python.

Collaborative filtering for recommendation systems in Python, Nicolas HugPôle Systematic Paris-Region

This document provides an introduction and overview of collaborative filtering in Python using the Surprise library. It begins with a taxonomy of recommendation system approaches, focusing on collaborative filtering which leverages user-item interactions. It then describes the neighborhood method of collaborative filtering, including computing similarity measures between users/items and aggregating neighbors' ratings. The document introduces the Surprise library, explaining its features like built-in algorithms, dataset handling, and evaluation tools. It provides code examples for basic usage, implementing custom algorithms, and evaluating models through cross-validation.

Enabling accessible multimedia for Moodle: iMoot 2010Nick Freear

Lectures On Demand: delivering traditional lectures over the webronchet

The document discusses using video lectures for teaching. It describes the Lectures On Demand (LODE) system developed by the author for recording, streaming, and accessing video lectures. A study was conducted comparing the LODE system, which allows viewing full recorded lectures, to the Needle system, which allows searching and extracting information from lectures. The results showed that students who used the full LODE lectures performed better on questions requiring a complete understanding, while the Needle system allowed faster answering of definition-type questions.

Europass-CV-20150624-Giacomini-EN 2016Daniele Giacomini

Daniele Giacomini has extensive experience in IT and teaching. He has worked as an IT assistant since 1983, managing computer systems from Burroughs to Linux servers. Since 2012, he has taught classes on computer and network administration. He holds a diploma in business and writes open source books on computing topics. His skills include programming languages from COBOL to C and system administration experience spanning Burroughs, DOS, Windows, and Linux.

Needs of others November 2011Razi Masri

This document discusses delivering technology instructions to those in need. It emphasizes that instructions must be appropriate for the target audience and context. Effective instructions are scalable to reach large groups, convey just the essential information needed, and are sensitive to users' needs, resources, and local conditions. Creating good open documentation requires understanding the different roles of teachers, developers and implementers, and providing materials that meet their varying needs and experience levels.

cv_romain_gehrig_2015-10-08Romain Gehrig

Romain Gehrig is a computer science undergraduate student at EPFL. He has received several academic awards for his strong performance in both theoretical and practical courses. He has experience in programming languages and frameworks including Python, Django, Java, Scala, Git, LATEX, and HTML/CSS/JS. He has also completed MOOCs on artificial intelligence and functional programming. For work experience, Gehrig has done internships developing Python packages for EPFL and consulting projects using Java and web technologies for WIPO. His activities include participating in programming contests and hacker spaces as well as interests in video games, skydiving, and functional programming.

Course Overviewmarcacohen

This document provides an overview of an introductory programming course that teaches Python. The course is aimed at beginners and those wanting to refresh programming skills. Students will learn programming concepts, work with Python, and be introduced to other languages. The course involves hands-on coding practice and takes place over 10 weekly sessions. Homework and in-class exercises reinforce topics covered through a guided tour of Python fundamentals and programming principles.

Scientific Computing with Python Webinar --- June 19, 2009Enthought, Inc.

The document discusses the Enthought Python Distribution (EPD) which provides over 50 integrated Python packages for science, plotting, visualization, database access, and user interfaces. It announces upcoming training courses on scientific computing topics in various locations. It also introduces EPDLab, an alpha prototyping environment, and Chaco, an interactive graphics library, as examples of tools within the Enthought Tool Suite.

Computer Science MOOCs: a Methodology for the Recording of Videos Manuel Castro

EDUCON16 "Computer Science MOOCs: a Methodology for the Recording of Videos" ...eMadrid network

Summer Training Project.pdfLovely professinal university

The document is a summer training project report submitted by Sonu Kumar Chakravarti for their Bachelor of Computer Science and Engineering program. It covers their summer training at Codtantra from August to December 2022 where they learned about object oriented programming using Python. The report includes sections on introducing Python, its history and features, why Python is used for programming, Python modules, the contents of their summer training course, and a conclusion. It also includes declarations, certificates, acknowledgements and a sample code project.

Mohsen Souissi - Leveraging G6’s IPv6 Tutorial material for training activityIPv6 Conference

The document discusses leveraging the G6 IPv6 Tutorial material for training activities. It provides background on G6 and the development of their IPv6 Tutorial over time. The tutorial material has been used extensively for IPv6 training sessions at national and international levels for audiences like researchers, network engineers, and students. Feedback from experience conducting these training sessions over years indicates that trainee needs and interest in IPv6 have evolved from early curiosity to now needing IPv6 knowledge and skills more urgently. Ongoing technology changes also require trainers to continuously update their own IPv6 expertise.

Open-Source Frameworks for Deep Learning: an OverviewVincenzo Lomonaco

This document provides an overview of open-source deep learning frameworks. It discusses the history and evolution of frameworks from 2010 to present. The main frameworks covered are Caffe, TensorFlow, and PyTorch. Each framework is characterized by features like differentiation support, hardware acceleration, model types, and licensing. Practical advice is given to choose a framework based on the task and existing resources rather than sticking to one for all projects. The document aims to help researchers and practitioners understand and select among leading deep learning software options.

SmartboardsStaci Trekles

This document discusses how interactive whiteboards, also known as Smartboards, can bring classroom lessons to life. It provides an overview of how Smartboards work and their functionality. Examples are given of how Smartboards can be used across different subject areas to engage students and help teachers present lessons in an interactive way. The document concludes by demonstrating how to create and share Smartboard lessons.

A startup with no office, hipster tools and open source productsFrank Rousseau

Deborah Arnold - EMMA webinar: Capturing and delivering effective video as pa...EUmoocs

EMMA webinar series: Capturing and delivering effective video as part of your MOOC including the innovative use of video to enrich your learning offer MOOCs have always been associated with intensive use of video, early MOOCs were based almost entirely on video recordings of lectures, discussions, talking heads or interviews, and even though the production value may be modest, video still remains one of the highest costs on a MOOC budget. Increasingly the question is raised which kinds of videos lead to the best student learning outcomes in a MOOC? And which production techniques and methods provide a higher learning efficiency. In this webinar, we provide an overview of both production techniques and pedagogical approaches related to the use of video in MOOCs. This webinar aims at encouraging MOOC authors to explore new ways of using video. Find out more about EMMA: http://project.europeanmoocs.eu/

Plume ProjectfOSSa - Free Open Source Software Academia Conference

The PLUME open platform has as first goal to share competences and to value the knowledge of software experts within the French higher education and research communities. The project proposes in its platform the access to more than 300 index cards describing useful and economic software for this community, with open access to everybody. The RELIER project focuses on the second goal of PLUME, that is to improve the visibility of software produced by research laboratories within the higher education and research communities. The "dev-ESR" index cards briefly describe the main features of the software, including references to research publications associated to it. In this talk we will also focus on the organisation of the project, describing the theme classification of the index cards but also of its Technical committee, its evolution following the new themes added to the project and the creation of a community of shared knowledge.

Low-cost platforms used in Control Education - An educational case study.pdfcabean9

Connecting formal and informal learning in HE through a mobile multimedia mic...Carmen Holotescu

1. The document discusses using microblogging platforms like Cirip.eu to connect formal and informal learning in higher education. 2. Cirip.eu is a microblogging platform designed for education that allows sharing of multimedia objects, mobile learning, and creation of personal learning environments. 3. The document provides examples of how Cirip.eu has been used for courses, projects, communities of practice, and as a social learning management system.

DATA SCIENCE PPT.pptxvikashyadav23235277

MALT Wiki Techshare 2009Nick Freear

Course journal-week-5- renuka ramakrishnanDurai Murugappan

The document summarizes the fifth week of an online faculty development program conducted by IIT Bombay. It covers various topics taught during the week, including reviewing computer basics, file management systems, open source tools for smart classrooms, and integrating technology into the classroom. Key activities during the week included learning resources on computer parts, file types and management, discussion forums summarizing learning, and graded quizzes. Challenges discussed were the lack of reliable internet access for some students and getting familiar with mobile interfaces for educational tools. The conclusion expresses gratitude for the opportunity to systematically learn about integrating ICT tools.

Podcast training law270711Manchester Metropolitan University

This document provides information about podcasting training at Manchester Metropolitan University. It defines what a podcast is as a recorded audio file that can include lectures, slides, images and more made available for students to access on demand or download. The document outlines how podcasts can be used for pedagogical purposes like supplementing class notes, student assessments, and allowing students to access missed lectures. It provides a link to the university's podcast blog site and tutorial and describes the three step process of podcast production, publication by uploading to a server, and delivery to students through links in the university's learning management system or by email.

Ploneconf2012 talksimahawk

This document summarizes Simone Orsi's talk about using Plone for training and distance learning at the United Nations' International Training Centre. Some of the key projects discussed include an evaluation system built in Plone for collecting and analyzing questionnaire responses, integrating SCORM packages for e-learning content, developing a course area for managing training materials and activities, and conducting several migrations of legacy websites to Plone. Plone was chosen for its flexibility, customizability, and ability to unify various online platforms and applications into a single system.

IPython: A Modern Vision of Interactive Computing (PyData SV 2013)PyData

Fernando Perez gave a presentation on IPython and open source academia. He discussed (1) how IPython provides an interactive computing environment and notebook format to improve the scientific process, (2) the growth of IPython from a small project to a large open source ecosystem, and (3) challenges of open source work in an academic setting where rewards differ. He outlined a vision of building on abstractions like kernels, unified interactive and parallel computing, and growing the community.

Coding, Robotics and other Emerging TechnologiesDr Peter Carey

This document provides an introduction to emerging technologies and digital tools for education, including coding, robotics, and virtual reality resources. It outlines apps and programs for teaching coding at different grade levels, such as Kodable, Lightbot Jr, and Scratch Jr for younger students, and Scratch and Code.org for older students. It also lists robotic tools like Bee-Bots, Edison Robots, Sphero balls, and Lego Mindstorms kits. Contact details are provided for professional learning opportunities in these areas through organizations like Scitech and Standout Education.

Platine FossaInria

PLATINE is a synchronous and distributed cooperative platform for remote collaboration. It was developed since 1998 and has been used in European and French projects. PLATINE offers mechanisms for asynchronous and synchronous collaboration and includes components for session preparation, chat, videoconferencing, application sharing, and a shared whiteboard. The presentation demonstrates its use for an e-learning use case, discusses transferring its technology under an open source license, and describes lessons learned from the project including a lack of resources for completion but useful applications in research projects.

OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Na...Pôle Systematic Paris-Region

Short-range wireless communication technologies such as Bluetooth or ZigBee represent an important part of the Internet of Things ecosystem. By design, this category of smart devices has physically limited reachability inside their Wireless Personal Area Network (WPAN) and are not directly compatible with the TCP/IP stack. However, users may need to access them from anywhere at any moment. To address this problem, we design a new application-agnostic approach called RCM (Remote Connection Manager) enabling transparent communication between an application and out-of-range devices. It creates new IoT use cases by seamlessly mixing remote and local devices. We implemented an open-source prototype for Bluetooth Low Energy (BLE) technology on top of Linux and Android BLE stacks and demonstrated its efficiency through experiments performed on real devices.

OSIS19_Cloud : SAFC: Scheduling and Allocation Framework for Containers in a ...Pôle Systematic Paris-Region

More Related Content

Similar to PyParis 2017 / Un mooc python, by thierry parmentelat (20)

Scientific Computing with Python Webinar --- June 19, 2009Enthought, Inc.

Computer Science MOOCs: a Methodology for the Recording of Videos Manuel Castro

EDUCON16 "Computer Science MOOCs: a Methodology for the Recording of Videos" ...eMadrid network

Summer Training Project.pdfLovely professinal university

Mohsen Souissi - Leveraging G6’s IPv6 Tutorial material for training activityIPv6 Conference

Open-Source Frameworks for Deep Learning: an OverviewVincenzo Lomonaco

SmartboardsStaci Trekles

A startup with no office, hipster tools and open source productsFrank Rousseau

Deborah Arnold - EMMA webinar: Capturing and delivering effective video as pa...EUmoocs

Plume ProjectfOSSa - Free Open Source Software Academia Conference

Low-cost platforms used in Control Education - An educational case study.pdfcabean9

Connecting formal and informal learning in HE through a mobile multimedia mic...Carmen Holotescu

DATA SCIENCE PPT.pptxvikashyadav23235277

MALT Wiki Techshare 2009Nick Freear

Course journal-week-5- renuka ramakrishnanDurai Murugappan

Podcast training law270711Manchester Metropolitan University

Ploneconf2012 talksimahawk

IPython: A Modern Vision of Interactive Computing (PyData SV 2013)PyData

Coding, Robotics and other Emerging TechnologiesDr Peter Carey

Platine FossaInria

Scientific Computing with Python Webinar --- June 19, 2009Enthought, Inc.

Computer Science MOOCs: a Methodology for the Recording of Videos Manuel Castro

EDUCON16 "Computer Science MOOCs: a Methodology for the Recording of Videos" ...eMadrid network

Summer Training Project.pdfLovely professinal university

Mohsen Souissi - Leveraging G6’s IPv6 Tutorial material for training activityIPv6 Conference

Open-Source Frameworks for Deep Learning: an OverviewVincenzo Lomonaco

SmartboardsStaci Trekles

A startup with no office, hipster tools and open source productsFrank Rousseau

Deborah Arnold - EMMA webinar: Capturing and delivering effective video as pa...EUmoocs

Plume ProjectfOSSa - Free Open Source Software Academia Conference

Low-cost platforms used in Control Education - An educational case study.pdfcabean9

Connecting formal and informal learning in HE through a mobile multimedia mic...Carmen Holotescu

DATA SCIENCE PPT.pptxvikashyadav23235277

MALT Wiki Techshare 2009Nick Freear

Course journal-week-5- renuka ramakrishnanDurai Murugappan

Podcast training law270711Manchester Metropolitan University

Ploneconf2012 talksimahawk

IPython: A Modern Vision of Interactive Computing (PyData SV 2013)PyData

Coding, Robotics and other Emerging TechnologiesDr Peter Carey

Platine FossaInria

More from Pôle Systematic Paris-Region (20)

OSIS19_IoT :Transparent remote connectivity to short-range IoT devices, by Na...Pôle Systematic Paris-Region

OSIS19_Cloud : SAFC: Scheduling and Allocation Framework for Containers in a ...Pôle Systematic Paris-Region

OSIS19_Cloud : Qu’apporte l’observabilité à la gestion de configuration? par ...Pôle Systematic Paris-Region

On parle d’observabilité des services lorsque ceux-ci exposent des états et métriques internes pour améliorer la disponibilité globale. Qu’en est-il de l’observabilité des infrastructures sur lesquelles ils sont déployés, configurés et maintenus ? Les différents logs (centralisés, agrégés) permettent un bon début d’analyse mais il faut aussi observer les systèmes au fil de l’eau pour tracer chaque changement et les corréler avec le monitoring. Aujourd’hui, ces étapes de configuration IT devraient être prises en charge par les outils de gestion de configuration, qui deviennent la passerelle vers l’observabilité des opérations. Nous montrerons l'intérêt de cette approche pour la gestion IT moderne avec un retour d’expérience sur les challenges de leur mise en place dans Rudder, notre solution libre d’audit et de gestion de configuration en continu.

OSIS19_Cloud : Performance and power management in virtualized data centers, ...Pôle Systematic Paris-Region

My research is in virtualized infrastructure domain. I aim at minimizing electricity consumption while improving application performance. To achieve the first goal, I work both at the entire datacenter level (by providing better VM placement strategies) and at the physical machine level (by providing better power management policies). Concerning the second goal, I work both at the VM monitor level (for minimizing its overhead) and at the VM's operating system (OS) level (for making it aware of the fact that it is virtualized). In this talk I present two contributions of my research team, one for each objective. The first contribution presents Drowsy-DC, a novel way to reduce data center power consumption inspired by smartphones. The second contribution presents XPV (eXtended Para-Virtualization), a new principle for well virtualizing NUMA machines.

OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'expérience du ...Pôle Systematic Paris-Region

L'expérience du développement de CRESON, support pour des objets distants fortement cohérents dans Infinispan, par Etienne Riviere (UCLouvain). Cet exposé présentera des résultats obtenus dans le cadre du projet européen LEADS que j'ai coordonné et où l'entreprise Red Hat était partenaire. Le code produit a été intégré dans le “staging" de la base de données NoSQL Infinispan, et évalué avec un équivalent open source de Dropbox développé par CloudSpaces, un autre projet européen.

OSIS19_Cloud : Attribution automatique de ressources pour micro-services, Alt...Pôle Systematic Paris-Region

OSIS19_IoT : State of the art in security for embedded systems and IoT, by Pi...Pôle Systematic Paris-Region

Osis19_IoT: Proof of Pointer Programs with Ownership in SPARK, by Yannick MoyPôle Systematic Paris-Region

Pointers are a notorious "defect attractor", in particular when dynamic memory management is involved. Ada mitigates these issues by having much less need for pointers overall (thanks to first-class arrays, parameter modes, generics) and stricter rules for pointer manipulations that limit access to dangling memory. Still, dynamic memory management in Ada may lead to use-after-free, double-free and memory leaks, and dangling memory issues may lead to runtime exceptions. The SPARK subset of Ada is focused on making it possible to guarantee properties of the program statically, in particular the absence of programming language errors, with a mostly automatic analysis. For that reason, and because static analysis of pointers is notoriously hard to automate, pointers have been forbidden in SPARK until now. We are working at AdaCore since 2017 on including pointer support in SPARK by restricting the use of pointers in programs so that they respect "ownership" constraints, like what is found in Rust. In this talk, I will present the current state of the ownership rules for pointer support in SPARK, and the current state of the implementation in the GNAT compiler and GNATprove prover, as well as our roadmap for the future.

Osis18_Cloud : Pas de commun sans communauté ?Pôle Systematic Paris-Region

Osis18_Cloud : Projet Wolphin Pôle Systematic Paris-Region

Osis18_Cloud : Virtualisation efficace d’architectures NUMAPôle Systematic Paris-Region

La virtualisation est une technologie mature dont le surcoût est aujourd’hui marginal sur les machines grand public. Néamoins, ce surcoût augmente radicalement pour les machines reposant sur une architecture Non Uniform Memory Access (NUMA), omniprésentes dans les data centers. Les techniques de virtualisation actuelles exploitent mal cette architecture et causent une dégradation des performances des applications allant jusqu’à 700%. Cette présentation détaille les causes de telles dégradations et propose une méthode qui permet la virtualisation efficace d’architectures NUMA. Une évaluation de cette méthode montre qu’il est possible de multiplier par 2 ou plus la performance de 9 des 29 applications testées.

Osis18_Cloud : DeepTorrent Stockage distribué perenne basé sur BittorrentPôle Systematic Paris-Region

This document describes DeepTorrent, a distributed storage system based on Bittorrent that aims to provide permanent storage. It discusses issues with cloud storage like high energy consumption, limited security, and legal restrictions. DeepTorrent uses Python and C libraries and Redis for control flow. It allows uploading and downloading files and managing storers. DeepTorrent is being tested for archiving production logs and medical imaging data. Future work includes access control and distributed control flow using DHT.

Osis18_Cloud : Software-heritagePôle Systematic Paris-Region

The document discusses the Software Heritage initiative, which aims to collect, preserve, and share the source code of all publicly available software. It notes that software is culturally and economically important but fragile, as source code is often lost. The initiative builds an archive of software source code and history using free and open source methods. It has already archived over 150 terabytes of open source software from repositories like GitHub, and seeks more support to continue its work of preserving software for current and future use.

OSIS18_IoT: L'approche machine virtuelle pour les microcontrôleurs, le projet...Pôle Systematic Paris-Region

Dans cet exposé, on présentera OMicroB, une machine virtuelle OCaml pour microcontrôleurs à faibles ressources, inspirée des travaux précédents sur le projet OCaPIC. Cette machine virtuelle, destinée à être exécutée sur diverses architectures matérielles (AVR, PIC, ARM, ...) permet ainsi de factoriser le développement d’applications, mais aussi de généraliser l’analyse et le débogage du bytecode associé, tout en permettant un usage précautionneux de la mémoire. On cible alors des programmes ludiques ou de domotiques destinés à être exécutés sur des microcontrôleurs à faibles ressources, en insistant sur les particularités inhérentes à la programmation de systèmes embarqués.

OSIS18_IoT: La securite des objets connectes a bas cout avec l'os et riotPôle Systematic Paris-Region

OSIS18_IoT : Solution de mise au point pour les systemes embarques, par Julio...Pôle Systematic Paris-Region

OSIS18_IoT : Securisation du reseau des objets connectes, par Nicolas LE SAUZ...Pôle Systematic Paris-Region

OSIS18_IoT : Ada and SPARK - Defense in Depth for Safe Micro-controller Progr...Pôle Systematic Paris-Region

The programming language Ada offers unique features to safely program a micro-controller. From the start, Ada was designed to make it difficult to introduce errors, and to make it easy to discover errors that were introduced. For example, language rules enforced at compile time make it possible to have safe concurrency by design. And run-time checking allows immediate detection of what would be "undefined behavior" in C/C++. In the first part of this presentation, we will present the benefits of using Ada for micro-controller programming, including support for debugging on a board. In the second part of this presentation, we will present how the Ada language and its subset SPARK provide a strong foundation for static analyzers, that make it possible to detect errors and provide guarantees on embedded software in Ada/SPARK.

OSIS18_IoT : RTEMS pour l'IoT professionnel, par Pierre Ficheux (Smile ECS)Pôle Systematic Paris-Region

PyParis2017 / Python pour les enseignants des classes préparatoires, by Olivi...Pôle Systematic Paris-Region