The design of SafeJML, a specification language for SCJ with support for WCET specification.

Ghaith Haddad Faraz Hussain Gary T. Leavens

Published in: JTRES (2010)

Keyphrases

specification language
software environment
formal specification
programming language
description language
requirements specification
modelling language
user interface
design tools
database
databases
high level
knowledge based systems
fine grained
conceptual model
functional requirements