需求分析 - 形式化方法

https://zh.wikipedia.org/wiki/%E9%9C%80%E6%B1%82%E5%88%86%E6%9E%90


https://zh.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E5%8C%96%E6%96%B9%E6%B3%95

XPS au format PDF

https://online2pdf.com/fr/convertir-xps-au-format-pdf#

SQL Server 2016 with SP1 Express Edition (English)

Express Core (411 MB): 
https://download.microsoft.com/download/9/0/7/907AD35F-9F9C-43A5-
9789-52470555DB90/ENU/SQLEXPR_x64_E...

https://download.microsoft.com/download/9/0/7/907AD35F-9F9C-43A5-9789-52470555DB90/ENU/SQLEXPR_x64_ENU.exe

Express Advanced (1255 MB): 

https://download.microsoft.com/download/9/0/7/907AD35F-9F9C-43A5-9789-52470555DB90/ENU/SQLEXPRADV_x6...

https://download.microsoft.com/download/9/0/7/907AD35F-9F9C-43A5-9789-52470555DB90/ENU/SQLEXPRADV_x64_ENU.exe

Outil de génération du diagramme d'une base de données

https://fr.wikipedia.org/wiki/PowerAMC

Alternatives

Des alternatives libres à PowerAMC existent comme DBDesigner ou AnalyseSI, ne couvrant généralement qu'une partie des modélisations, notamment la modélisation E/R ou UML. GraphMake s'ajoute aussi à la liste des logiciels libres concurrents.

Pour les outils Merise, les principaux, sont: Mega, WinDesign (Cecima), Windev, Adelia, etc. Un outil RAD comme Delphi inclut dans ses éditions haut de gamme des outils de modélisation UML comme ModelMaker ou Together selon les versions.

D'autres outils existent, orientés UML comme ArgoUML, BOUML et Open ModelSphere en OpenSource, Poseidon for UML Rational Software Architect...

Citons aussi Devaki écrit en Java/Swing et sous licence GPL.