Brontekst bekijken van Overleg:Taxonomy/2. Methodology/Non-Monotonic Refinement

← Overleg:Taxonomy/2. Methodology/Non-Monotonic Refinement

Ga naar: navigatie, zoeken

U hebt geen rechten om deze pagina te bewerken, want:

De gevraagde handeling is voorbehouden aan gepriviligeerde gebruikers. (groep gebruikers)

U kunt de brontekst van deze pagina bekijken en kopiëren.

in addition to all the advantages of non-monotonic refinement i would like to add the following:

it is not only one right decomposition that we organize in the theorem,
as we have seen, there are more than one decompositions in the verification theorem
and we can relate these by the theorem.

Terug naar Overleg:Taxonomy/2. Methodology/Non-Monotonic Refinement.

Overgenomen van "https://lab.cs.ru.nl/algemeen/Overleg:Taxonomy/2._Methodology/Non-Monotonic_Refinement"