Design Verifikation Patterns

John Knudsen, Anders Peter Ravn, Arne Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Abstrakt

Design Verification Patterns are formal specifications that define the semantics of design patterns. For each design pattern, the corresponding verification pattern give a set of proof obligations. They must be discharged for a correct implementation of the pattern. Additionally there is a set of properties that may be used in the design and verification
of applications that employ the pattern. The concept is illustrated by examples from general software engineering and more specialised properties for embedded software.
OriginalsprogEngelsk
TitelFormal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays
RedaktørerCliff Jones, Zhiming Liu, Jim Woodcock
UdgivelsesstedBerlin /Heidelberg
ForlagSpringer
Publikationsdato2007
Sider399-413
ISBN (Trykt)978-3-540-75220-2
StatusUdgivet - 2007
NavnLecture Notes in Computer Science
Vol/bind4700

Fingeraftryk

Dyk ned i forskningsemnerne om 'Design Verifikation Patterns'. Sammen danner de et unikt fingeraftryk.

Citationsformater