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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Concurrency and computation Jg. 25; H. 16; S. 2290 - 2306
Hauptverfasser:	Haddad, Ghaith, Leavens, Gary T.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Blackwell Publishing Ltd 01.11.2013
Schlagworte:	Coding duration Java Modeling Language (JML) SafeJML Safety Critical Java (SCJ) timing behavior WCET
ISSN:	1532-0626, 1532-0634
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!