ABNF 是一种形式语言

两种签名：
  - opérations de construction
    - primitive
    - secondaire
  - opérations d'inspection

language naturel
language structuré (spécification détaillé)
language régulier
language algébrique (BNF, ABNF, CFG) language formel

spécification fonctionnelle
spécification non-fonctionnelle
spécification formelle (ABNF, spécification algébrique)

formalisation des exigences
  - language naturel
  - language naturel structuré
  - maquette
  - modèle
  - sénario
  - spécification formelle


MIT 开源协议有两条规定，MIT协议的目的在于保护版权，除此之外无其他限制
  - attribution：分发软件需要对用到作者代码的地方署名
  - 保护任何因使用造成的损害，作者不对任何使用造成的损害负责

GPL 开源协议规定
  - 任何使用到作者代码的分发软件需要代码开源
  - Tout code ** lié ** à un code GPL doit être sous
licence GPL
　- 动态链接的分发软件不受GPL管辖

AGPL:
LGPL:

code dupliqué
methode trop longue
modulariser
limiter les dépendencies

plan
  water fall
  cicle v
besoin
  incremental
  agile