Smlouvy pro návrh systému

Původní název:

Contracts for System Design

Obsah knihy:

Nedávno byl navržen návrh založený na smlouvách jako "ortogonální" přístup, který doplňuje dosud navržené metodiky návrhu systému, aby se vyrovnal se složitostí návrhu systému.

Návrh založený na smlouvách poskytuje přísné lešení pro verifikaci, analýzu, abstrakci/zpřesnění a dokonce i syntézu. V této oblasti bylo dosaženo několika výsledků, ale jednotné zpracování tématu, které by pomohlo uvést návrh založený na smlouvách do perspektivy, dosud chybělo.

Kontrakty pro návrh systému poskytují takové zpracování, kde jsou kontrakty přesně definovány a charakterizovány tak, aby mohly být bez nejasností použity v metodikách návrhu. Identifikuje podstatu komplexního návrhu systému pomocí kontraktů prostřednictvím matematické "metateorie", kde jsou všechny vlastnosti metodiky odvozeny z velmi abstraktního a obecného pojmu kontraktu. Tato metateorie poskytuje hluboké a poučné vazby na existující teorie kontraktů a rozhraní a také návod pro návrh nových teorií.

Zahrnuje kontrakty pro software i systémy, s důrazem na ty druhé. Kontrakty pro návrh systémů ilustrují použití kontraktů na dvou příkladech: inženýrství požadavků na správu parkovacích garáží a vývoj kontraktů pro časování a plánování v kontextu metodiky AUTOSAR používané v automobilovém průmyslu.