Beweren en bewijzen/de zuilen/Formalisering/8. Parametrisatie
Uit Werkplaats
< Beweren en bewijzen | de zuilen | Formalisering
Versie door David Jansen (overleg | bijdragen) op 16 jun 2011 om 11:54 (→De algemene vorm van de correctheidsstelling voor systemen)
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
literatuur
... |
De algemene vorm van de correctheidsstelling voor systemen
∀ φ, ∀ ψ, ∀ Φ, ∀ Ψ, Π(φ, ψ, Φ, Ψ) → N ∧ (∀ i ∈ {1, 2, ..., n}, ai(φi) → ci(ψi)) → A(Φ) → C(Ψ)
Hierbij betekent:
- ai(φi) → ci(ψi) is de specificatie van onderdeel i.
- A(Φ) → C(Ψ) is de specificatie van het geheel.
- φ en ψ zijn de parameters van de onderdelen en Φ en Ψ de parameters van het geheel. Met deze parameters kun je een specificatie algemener maken, zodat ze b.v. geldt voor snelle en langzame onderdelen.
- Π(φ, ψ, Φ, Ψ) geven algemene voorwaarden aan zodat de parameters bij elkaar passen.
- N geeft relevante natuurwetten en domeinkennis aan.