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á bibliografia

Vydané v:	Concurrency and computation Ročník 25; číslo 16; s. 2290 - 2306
Hlavní autori:	Haddad, Ghaith, Leavens, Gary T.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Blackwell Publishing Ltd 01.11.2013
Predmet:	Coding duration Java Modeling Language (JML) SafeJML Safety Critical Java (SCJ) timing behavior WCET
ISSN:	1532-0626, 1532-0634
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!