| dbo:abstract |
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. (de) 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. (fr) 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. (en) 詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 段階的な詳細化として段階を踏んで詳細化を行うこともできる。論理的には、詳細化は含意による変換であるが、追加的な複雑化を生じる要因もある。 詳細化の反対語は抽象化である。 (ja) |
| dbo:wikiPageID |
1644367 (xsd:integer) |
| dbo:wikiPageLength |
4719 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1000094446 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Behavioral_subtyping dbr:Element_(mathematics) dbr:Deterministic dbr:Variable_(programming) dbr:Return_type dbr:Cliff_Jones_(computer_scientist) dbc:Formal_methods_terminology dbr:Correctness_(computer_science) dbr:Precondition dbr:Computer_program dbr:Empty_set dbr:Stepwise_refinement dbr:Postcondition dbc:Computer_programming dbr:Type_theory dbr:Agile_software_development dbr:Data_structures dbr:Formal_verification dbr:Formal_methods dbr:Formal_specification dbr:Formal_system dbr:Logical_consequence dbr:Procedure_(computer_science) dbr:Reification_(computer_science) dbr:Retrenchment_(computing) dbr:Array_data_structure dbr:Abstraction_(computer_science) dbr:Hoare_logic dbr:B-Method dbr:Scrum_(software_development) dbr:Set_(mathematics) dbr:Refinement_calculus dbr:FermaT_Transformation_System dbr:Nondeterministic_algorithm dbr:Function_argument dbr:Specification dbr:Formal_method dbr:Executable_program |
| dbp:wikiPageUsesTemplate |
dbt:Citation_needed dbt:Main dbt:Refimprove dbt:Reflist dbt:Data_transformation dbt:Soft-eng-stub |
| dct:subject |
dbc:Formal_methods_terminology dbc:Computer_programming |
| gold:hypernym |
dbr:Term |
| rdf:type |
yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods |
| rdfs:comment |
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. (de) 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. (en) 詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 段階的な詳細化として段階を踏んで詳細化を行うこともできる。論理的には、詳細化は含意による変換であるが、追加的な複雑化を生じる要因もある。 詳細化の反対語は抽象化である。 (ja) 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. (fr) |
| rdfs:label |
Verfeinerung (Informatik) (de) Raffinement (fr) 詳細化 (ja) Refinement (computing) (en) |
| owl:sameAs |
freebase:Refinement (computing) yago-res:Refinement (computing) wikidata:Refinement (computing) dbpedia-de:Refinement (computing) dbpedia-fr:Refinement (computing) dbpedia-hu:Refinement (computing) dbpedia-ja:Refinement (computing) https://global.dbpedia.org/id/395UJ |
| prov:wasDerivedFrom |
wikipedia-en:Refinement_(computing)?oldid=1000094446&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Refinement_(computing) |
| is dbo:wikiPageDisambiguates of |
dbr:Refinement |
| is dbo:wikiPageRedirects of |
dbr:Program_Refinement dbr:Data_refinement dbr:Operation_refinement dbr:Program_refinement |
| is dbo:wikiPageWikiLink of |
dbr:List_of_biophysically_important_macromolecular_crystal_structures dbr:Index_of_object-oriented_programming_articles dbr:LexisNexis_Risk_Solutions dbr:List_of_programming_language_researchers dbr:Generative_design dbr:Model_checking dbr:Program_Refinement dbr:Steve_Reeves_(computer_scientist) dbr:Ralph-Johan_Back dbr:Software_prototyping dbr:Agile_software_development dbr:Eric_Hehner dbr:FDR_(software) dbr:Refinement dbr:Jim_Woodcock dbr:TLA+ dbr:B-Method dbr:Data_refinement dbr:Scrum_(software_development) dbr:Semblance_analysis dbr:Low-level_design dbr:Operation_refinement dbr:Program_refinement |
| is foaf:primaryTopic of |
wikipedia-en:Refinement_(computing) |