Dans le domaine de l'informatique, la programmation est l'ensemble des activités qui permettent l'écriture des programmes informatiques. C'est une étape importante du développement de logiciels (voire de matériel).

Pour écrire un programme, on utilise un langage de programmation. Un logiciel est un ensemble de programmes (qui peuvent être écrits dans des langages de programmation différents) dédié à la réalisation de certaines tâches par un (ou plusieurs) utilisateurs du logiciel.

La programmation représente donc ici la rédaction du (ou des) code source d'un logiciel. On utilise plutôt le terme développement pour dénoter l'ensemble des activités liées à la création d'un logiciel et des programmes qui le composent (cela inclut la spécification du logiciel, sa conception, puis son implémentation proprement dite au sens de l'écriture des programmes dans un langage de programmation bien défini et aussi la vérification de sa correction)...

Exemple de programme

L'immense majorité des programmes qui s'exécutent sur nos ordinateurs, téléphones et autres outils électroniques sont écrits dans des langages de programmation dits impératifs : les lignes du programme sont exécutées les unes après les autres. Chaque ligne du programme effectue soit une opération simple, soit exécute une fonction qui est elle-même une suite d'opérations simples.

Le programme suivant écrit en langage Java (légèrement simplifié et auquel des commentaires ont été rajoutés), demande simplement à l'utilisateur d'entrer au clavier deux nombres entiers, et affiche leur quotient.

void main() { // fonction 'main' : c'est toujours ici qu'un programme commence// 'int' signifie integer : nombre entier en anglaisint A, B; // on déclare deux variables A et B qui sont des nombres entiersWriteLine("entrez deux entiers : "); // 'WriteLine' permet d'écrire à l'écranA = ReadIntFromKeyboard(); // on attend que l'utilisateur tape un entier au clavier, // et on l'enregistre dans AB = ReadIntFromKeyboard(); // puis on fait la même chose pour Bif (B == 0) {  // si B est égal à 0WriteLine("erreur : division par zéro");} else { // sinonfloat C = CalculerDivision(A,B); // on exécute la fonction 'CalculerDivision' // que l'on a programmée ci-dessous, // et on enregistre le résultat dans C qui est un 'float' : un nombre à virguleWriteLine("le résultat est : " + C); // on affiche C}}float CalculerDivision(float U, float V) { // U et V sont les paramètres de notre fonction 'CalculerDivision' : ce sont des nombres à virgules (float).// et celle-ci renvoie un 'float' : un nombre à virgule// dans la fonction 'main', A et B étaient des nombres entiers,// U et V sont des copies des valeurs de A et B,// et qui ont été converties en nombres à virgule (22 deviendrait simplement 22.0000000)float Resultat;Resultat = U / V;  // on effectue la divisionreturn Resultat; /// on renvoie le résultat}

Dans ce programme les principales fonctionnalités de la programmation impérative sont utilisées : des variables de type nombre entier, nombre à virgule, chaîne de caractère, fonction calculant un résultat à partir de paramètres, fonction effectuant une tâche telle qu'afficher un message à l'écran, instruction if permettant d'exécuter un code ou un autre en fonction de la valeur de telle ou telle variable.

Dans un programme informatique typique, on trouvera également des boucles while ou for qui permettent d'exécuter un morceau de code en boucle ou simplement un certain nombre de fois, des new pour l'allocation dynamique de données (par exemple des tableaux), et très souvent des éléments de programmation objet permettant de structurer différemment le code et de créer des types de données personnalisés, ou encore des exceptions pour gérer certain cas d'erreurs plus facilement.

On remarque que pour effectuer une tâche très simple, le code informatique est très laborieux, et encore ici on ne traite pas les erreurs (si l'utilisateur tape un mot au lieu d'un nombre), et l'affichage est minimaliste. C'est pourquoi les langages de programmation n'ont jamais cessé d'évoluer, dans le but d'aider le programmeur : qui souhaite réaliser des programmes rapides à s'exécuter, sans dysfonctionnements, et surtout qui soient le plus simple à écrire.

Histoire

La première machine programmable (c’est-à-dire machine dont les possibilités changent quand on modifie son « programme ») est probablement le métier à tisser de Jacquard, qui a été réalisé en 1801. La machine utilisait une suite de cartons perforés. Les trous indiquaient le motif que le métier suivait pour réaliser un tissage ; avec des cartes différentes le métier produisait des tissages différents. Cette innovation a été ensuite améliorée par Herman Hollerith d'IBM pour le développement de la fameuse carte perforée d'IBM.

En 1936, la publication de l'article fondateur de la science informatique On Computable Numbers with an Application to the Entscheidungsproblem par Alan Mathison Turing allait donner le coup d'envoi à la création de l'ordinateur programmable. Il y présente sa machine de Turing, le premier calculateur universel programmable, et invente les concepts et les termes de programmation et de programme.

Les premiers programmes d'ordinateur étaient réalisés avec un fer à souder et un grand nombre de tubes à vide (plus tard, des transistors). Les programmes devenant plus complexes, cela est devenu presque impossible, parce qu'une seule erreur rendait le programme entier inutilisable. Avec les progrès des supports de données, il devient possible de charger le programme à partir de cartes perforées, contenant la liste des instructions en code binaire spécifique à un type d'ordinateur particulier. La puissance des ordinateurs augmentant, on les utilisa pour faire les programmes, les programmeurs préférant naturellement rédiger du texte plutôt que des suites de 0 et de 1, à charge pour l'ordinateur d'en faire la traduction lui-même.

Avec le temps, de nouveaux langages de programmation sont apparus, faisant de plus en plus abstraction du matériel sur lequel devaient tourner les programmes. Ceci apporte plusieurs facteurs de gains : ces langages sont plus faciles à apprendre, un programmeur peut produire du code plus rapidement, et les programmes produits peuvent tourner sur différents types de machines.

Phases

Conception

La phase de conception définit le but du programme. Si on fait une rapide analyse fonctionnelle d'un programme, on détermine essentiellement les données qu'il va traiter (données d'entrée), la méthode employée (appelée l'algorithme), et le résultat (données de sortie). Les données d'entrée et de sortie peuvent être de nature très diverses. On peut décrire la méthode employée pour accomplir le but d'un programme à l'aide d'un algorithme. La programmation procédurale et fonctionnelle est basée sur l'algorithmique. On retrouve en général les mêmes fonctionnalités de base :

Programmation impérative

"Si"

"Tant que"

"Pour"

"Pour" (variante)

Implémentation

Une fois l'algorithme défini, l'étape suivante est de coder le programme. Le codage dépend de l'architecture sur laquelle va s'exécuter le programme, de compromis temps-mémoire, et d'autres contraintes. Ces contraintes vont déterminer quel langage de programmation utiliser pour « convertir » l'algorithme en code source.

Transformation du code source

Le code source n'est (presque) jamais utilisable tel quel. Il est généralement écrit dans un langage "de haut niveau", compréhensible pour l'homme, mais pas pour la machine.

Compilation

Certains langages sont ce qu'on appelle des langages compilés. En toute généralité, la compilation est l'opération qui consiste à transformer un langage source en un langage cible. Dans le cas d'un programme, le compilateur va transformer tout le texte représentant le code source du programme, en code compréhensible pour la machine, appelé code machine.

Dans le cas de langages dits compilés, ce qui est exécuté est le résultat de la compilation. Une fois effectuée, l'exécutable obtenu peut être utilisé sans le code source.

Il faut également noter que le résultat de la compilation n'est pas forcément du code machine correspondant à la machine réelle, mais peut être du code compris par une machine virtuelle (c'est-à-dire un programme simulant une machine), auquel cas on parlera de bytecode. C'est par exemple le cas en Java. L'avantage est que, de cette façon, un programme peut fonctionner sur n'importe quelle machine réelle, du moment que la machine virtuelle existe pour celle-ci.

Dans le cas d'une requête SQL, la requête est compilée en une expression utilisant les opérateurs de l'algèbre relationnelle. C'est cette expression qui est évaluée par le système de gestion de bases de données.

Interprétation

D'autres langages ne nécessitent pas de phase spéciale de compilation. La méthode employée pour exécuter le programme est alors différente. La phase de compilation est la plupart du temps incluse dans celle d’exécution. On dit de ce programme qu'il interprète le code source. Par exemple, Python ou Perl sont des langages interprétés.

Avantages, inconvénients

Les avantages généralement retenus pour l'utilisation de langages "compilés", est qu'ils sont plus rapides à l'exécution que des langages interprétés, car l'interprète doit être lancé à chaque exécution du programme, ce qui mobilise systématiquement les ressources.

Traditionnellement, les langages interprétés offrent en revanche une certaine portabilité (la capacité à utiliser le code source sur différentes plates-formes), ainsi qu'une facilité pour l'écriture du code. En effet, il n'est pas nécessaire de passer par la phase de compilation pour tester le code source.

Appellation impropre

Il faut noter qu'on parle abusivement de langages compilés ou interprétés. En effet, le caractère compilé ou interprété ne dépend pas du langage, qui n'est finalement qu'une grammaire et une certaine sémantique. D'ailleurs, certains langages peuvent être utilisés interprétés ou compilés. Par exemple, il est très courant d'utiliser Ruby avec un interprète, mais il existe également des compilateurs pour ce langage.

Néanmoins, l'usage qu'on fait des langages est généralement fixé.

Test du programme

C'est l'une des étapes les plus importantes de la création d'un programme. En principe, tout programmeur se doit de vérifier chaque partie d'un programme, de le tester. Il existe différents types de test. On peut citer en particulier :

Test unitaire

Test d'intégration

Test de performance

Il convient de noter qu'il est parfois possible de vérifier un programme informatique, c'est-à-dire prouver, de manière plus ou moins automatique, qu'il assure certaines propriétés.

Pratiques

Algorithmique

Gestion de versions

Optimisation du code

Programmation système

Refactoring

Test d'intégration

Test unitaire

Paradigmes

Un paradigme est un style fondamental de programmation, définissant la manière dont les programmes doivent être formulés.

Programmation concurrente

Programmation déclarative

Programmation fonctionnelle

Programmation impérative

Programmation logique

Programmation orientée aspect

Programmation orientée composant

Programmation orientée objet

Programmation orientée prototype

Programmation par contraintes

Programmation par contrat

Programmation par intention

Programmation procédurale

Programmation réactive

Programmation structurée

电脑编程（英语：Computer programming），或称进程设计（programming），是给出解决特定问题进程的过程，软件开发过程中的重要步骤。进程设计往往以某种进程设计语言为工具，给出这种语言下的进程。进程设计过程应包括分析、设计、编码、测试、除错等不同阶段。

在计算机技术发展的早期，软件开发主要就是进程设计。但随着技术的发展，软件系统越来越复杂，逐渐分化出许多专用的软件系统，如操作系统、数据库系统、应用服务器，而且这些专用的软件系统愈来愈成为普遍的系统环境的一部分。这种情况下软件开发的内容越来越丰富，不再只是纯粹的进程设计，还包括数据库设计、用户界面设计、通信协议设计和复杂的系统配置过程。

专业的进程设计人员被称为进程员。某种意义上，进程设计的出现甚至早于电子计算机的出现。英国著名诗人拜伦的女儿爱达·勒芙蕾丝曾设计了巴贝奇分析机上计算伯努利数的一个进程。她甚至还创建了循环和子进程的概念。由于她在进程设计上的突破性创新，爱达·勒芙蕾丝被称为世界上第一位进程员。

任何设计工作都是在各种条件限制和相互矛盾的需求之间寻求一种平衡。这种观点反映在编程上，就是硬件保存空间与程序运行时间的限制。

空间方面，在计算机技术发展的早期，由于机器资源比较昂贵，如何缩小保存空间往往是设计关心的首要重点；而随着硬件技术的飞速发展，电脑上数据保存媒体的价格降低，空间不再是考虑的第一要点，一些较耗时的运算也渐渐发展出以空间换取时间的模式。

时间方面，在早期，如何加强程序效率、缩短程序运行时间是程序员的共同目标；而在硬件性能进步、效率差距缩小，软件规模与复杂度却日益增加的现在，进程的结构、可维护性、重复使用性、弹性等因素更显得重要。在多人合作的编程专案里，程序员们会加上各种注解以协助其他参与者理解代码，此行为不但对运行时间没有帮助，还会加重保存空间的负担，但却因能达到较好的沟通并提高代码的可维护性，而成为目前的主流。

然而，随着智能型手机等携带设备的兴起，运行时间的缩短与保存空间的有效运用再次成为焦点，形成与主机服务器类型应用程序重点不同的考虑方向。

设计工具

开发环境 编辑器、编译器、解释器、调试工具 集成开发环境 可视化开发环境 计算机辅助软件工程

编辑器、编译器、解释器、调试工具

集成开发环境

可视化开发环境

计算机辅助软件工程

图像展览

早期IBM 402会计电脑的程序是用改变线路连接的方式来撰写

GANT编程软件

中华民国经济部举办的手机编程比赛