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

Full description

Bibliographic Details

Published in:	Concurrency and computation Vol. 25; no. 16; pp. 2290 - 2306
Main Authors:	Haddad, Ghaith, Leavens, Gary T.
Format:	Journal Article
Language:	English
Published:	Blackwell Publishing Ltd 01.11.2013
Subjects:	Coding duration Java Modeling Language (JML) SafeJML Safety Critical Java (SCJ) timing behavior WCET
ISSN:	1532-0626, 1532-0634
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!