Reasoned Programming

"Reasoned Programming"

http://www.doc.ic.ac.uk/~susan/firstyearbook.pdf

(K. Broda + S. Eisenbach + H. Khoshnevisan + S. Vickers)

Prentice Hall International Series in Computer Science (1994).

ISBN 0-13-098831-6

Autre url: pdf

Reasoned Programming montre comment appliquer un raisonnement mathématique pour le développement de programmes, en utilisant les spécifications logiques.

Dépôt de ressources pédagogiques en informatique

Pour tout développeur, il existe un impressionnant dépôt de documents autour de la programmation : https://github.com/vhf/free-programming-books/blob/master/free-programming-books.md#professional-development

Bonne exploration !

Comprendre les expressions régulières avec Regexper

Les expressions rationnelles, ou expressions régulières, sont un outil très puissant pour manipuler les chaines de caractères dans les langages de programmation. Perl en fait son principe fondamental, mais on les trouve aussi dans les langages plus habituels comme en Java avec la méthode "matches". Elles sont présentées au chapitre 3 du cours e-miage B209.

Il existe un outil intéressant permettant de représenter de manière graphique de telles expressions : Regexper (http://www.regexper.com/).

Par exemple, l'expression "a*|(b+c)*b" donnera :

A tester d'urgence !

Cours de Cobol en ligne

50 years of Running COBOL (Photo credit: national museum of american history)

Cobol est toujours un langage encore très utilisé, en particulier dans le domaine des banques et des assurances. Cependant, de moins en moins de personnes ont des compétences à ce sujet. Du coup, l'offre sur le marché de l'emploi est souvent très intéressante... Si vous voulez vous auto-former, un cours en ligne de la e-miage est disponible :
http://pagesperso.lina.univ-nantes.fr/info/perso/permanents/vailly/Enseignement/EMIAGE/EnDev/ModuleA206EMiageV2.5/A206.html

Le développement avec Java

Java (programming language) (Photo credit: Wikipedia)

Ce site comporte un tutoriel assez riche sur le développement en Java :
Le développement avec Java : le tutorial développons en Java et développons en Java avec Eclipse:

Dont, en PDF : ftp://ftp2.jmdoudoux.fr/jmdoudoux/dej_1_80.pdf

et en ligne : http://www.jmdoudoux.fr/java/dej/indexavecframes.htm

'via Blog this'

Books and papers every graduate student should read

Une série de références de livres pour tout étudiant en informatique (en particulier autour des langages de programmation et des compilateurs).

Books and papers every graduate student should read

10 Papers Every Programmer Should Read (At Least Twice)

English: Programmer (Photo credit: Wikipedia)

10 références sur la programmation... et beaucoup de commentaires qui en proposent d'autres. A parcourir, lire...

10 Papers Every Programmer Should Read (At Least Twice)

jQuery Fundamentals :: A guide to the basics of jQuery

JavaScript c'est bien... mais un framework de présentation c'est mieux ! Il en existe plusieurs, mais celui qui est le plus connu est JQuery. Le site ci-dessous vous aidera à demarrer avec :
jQuery Fundamentals :: A guide to the basics of jQuery

Apprendre à coder | Learn to code

English: Official Ruby logo Русский: Официальный логотип языка программирования «Ruby» (Photo credit: Wikipedia)

Pour découvrir la programmation, allez voir la Codecademy ! Vous y trouverez des ressources pour faire de la programmation Web et pour utiliser Javascript et Ruby.


Learn to code
Codecademy is the easiest way to learn to code. It's interactive, fun, and you can do it with your friends.


http://www.codecademy.com/

Preuves de programmes en COQ

Un podcast vidéo (fuscia.info) sur un langage permettant la preuve de fonctions : COQ.


Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits.

Dans ce cours, sont présentés les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur les relations intimes entre types, spécifications, et calculs.


L'auteur Yves Bertot est chercheur à l'INRIA et travaille avec le système depuis une vingtaine d'années.  Il a utilisé ce système pour des études d'algorithmes en technologie des langages de programmation, géométrie, arithmétique des ordinateurs, ...

Ce cours vidéo s'adresse à un public informaticien avec des prérequis qui sont partagés par la majeure partie des ingénieurs du milieu industriel.

A voir sur :
Preuves de programmes en coq - Yves Bertot INRIA

C'est en licence CC-By.

Learning JavaScript Design Patterns

Un livre électronique en ligne sur le développement Javascript :
Learning JavaScript Design Patterns
de Addy Osmani
en licence CC BY-NC-ND

Il est destiné aux personnes ayant des notions de base en Javascript

La version papier : http://shop.oreilly.com/product/0636920025832.do

Pour les débutants, de nombreuses références existent comme :
- http://fr.wikibooks.org/wiki/Programmation_JavaScript

Mobile web application programming

La programmation d'applications mobiles demande des compétences particulières. Voici deux sites utiles pour ceux qui y sont confrontés : mobile web applications et Mobile Web Application Best Practices.

haXe

haXe est un langage de programmation dont le compilateur permet de générer du PHP, du C++, du Flash, etc. A tester ! Des commentaires sur ce langages seront les bienvenus.
Tutoriels - haXe