Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.

Lilian Burdy Marieke Huisman Mariela Pavlova

Published in: FASE (2007)

Keyphrases

specification language
programming language
software environment
databases
case study
garbage collection
information systems
formal specification