Also known as data refinement
approaches for producing correct computer programs and simplifying existing programs to enable their formal verification
En informatique, le raffinement consiste à détailler la conception pour arriver par itérations à l'implémentation finale. À chaque itération correspond un niveau de granularité de plus en plus fin. Quand cette technique est appliquée au code source, la conception est alors matérialisée par du pseudo-code. Cette technique peut aussi être appliquée au modèle de données. Cette technique est utilisée par différentes méthodes : * Approche descendante (stepwise refinement) ; * (en) ; * Méthode B (1996) ; * Méthode de la machine à états abstraits (ASM) ; * Prototypage logiciel vertical ; * Sous-typage comportemental (behavioral subtyping), voir le principe de substitution de Liskov * Microsoft Solutions Framework Process Model. L'opposée du raffinement est la programmation modulaire.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).