Refinement (computing)
http://dbpedia.org/resource/Refinement_(computing) an entity of type: Ability105616246
Unter Verfeinerung versteht man in der Informatik ein Verfahren, bei dem aus einer abstrakten Beschreibung (z. B. Registermaschine, formale Spezifikation mittels Z-Notation) eine konkretere Beschreibung abgeleitet wird. Eine Verfeinerung erhält dabei in der konkreten Beschreibung (bestimmte) Eigenschaften der abstrakten Beschreibung.
rdf:langString
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.
rdf:langString
詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 段階的な詳細化として段階を踏んで詳細化を行うこともできる。論理的には、詳細化は含意による変換であるが、追加的な複雑化を生じる要因もある。 詳細化の反対語は抽象化である。
rdf:langString
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 : L'opposée du raffinement est la programmation modulaire.
rdf:langString
rdf:langString
Verfeinerung (Informatik)
rdf:langString
Raffinement
rdf:langString
詳細化
rdf:langString
Refinement (computing)
xsd:integer
1644367
xsd:integer
1000094446
rdf:langString
Unter Verfeinerung versteht man in der Informatik ein Verfahren, bei dem aus einer abstrakten Beschreibung (z. B. Registermaschine, formale Spezifikation mittels Z-Notation) eine konkretere Beschreibung abgeleitet wird. Eine Verfeinerung erhält dabei in der konkreten Beschreibung (bestimmte) Eigenschaften der abstrakten Beschreibung.
rdf:langString
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.
rdf:langString
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.
rdf:langString
詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 段階的な詳細化として段階を踏んで詳細化を行うこともできる。論理的には、詳細化は含意による変換であるが、追加的な複雑化を生じる要因もある。 詳細化の反対語は抽象化である。
xsd:nonNegativeInteger
4719