specification language
formal language used in computer science
interface description language
any computer language used to describe a software component's interface
Tango
user interface specification language
Rosetta-lang
system-level specification language
Alloy
specification language
model transformation language
Specification language
Prototype Verification System
specification language integrated with support tools and an automated theorem prover
RAISE
acronym Rigorous Approach to Industrial Software Engineering
Object Process Methodology
modelling language and methodology for capturing knowledge and designing systems
Java Modeling Language
specification language for Java programs
E-LOTOS
formal specification language
Object Constraint Language
declarative language