Login / Signup
Preliminary design of JML: a behavioral interface specification language for java.
Gary T. Leavens
Albert L. Baker
Clyde Ruby
Published in:
ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
</>
specification language
programming language
user interface
software environment
formal specification
general purpose
building blocks
databases
case study
design process
interface design
requirements specification