A Domain-Oriented, Java Specification Language.

Published in: KSE (2015)

Keyphrases

specification language
programming language
formal specification
description language
domain specific
domain independent
software environment
java programs
requirements specification
high level
object oriented
general purpose
symbolic execution
multi agent systems
software engineering