Login / Signup
A Domain-Oriented, Java Specification Language.
Duc Minh Le
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