Specifying subtypes in Safety Critical Java programs

SUMMARYReal‐time and safety‐critical code could benefit from the use of design patterns and frameworks that rely on subtyping and dynamic dispatch. However, modular reasoning about programs that use subtypes requires that each overriding method obeys the specifications of all methods that it overrid...

Celý popis

Podrobná bibliografie

Vydáno v:	Concurrency and computation Ročník 25; číslo 16; s. 2290 - 2306
Hlavní autoři:	Haddad, Ghaith, Leavens, Gary T.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Blackwell Publishing Ltd 01.11.2013
Témata:	Coding duration Java Modeling Language (JML) SafeJML Safety Critical Java (SCJ) timing behavior WCET
ISSN:	1532-0626, 1532-0634
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!