The Larch/Smalltalk Interface Specification Language.

Yoonsik Cheon Gary T. Leavens

Published in: ACM Trans. Softw. Eng. Methodol. (1994)

Keyphrases

specification language
programming language
description language
formal specification
user interface
object oriented
high level
symbolic execution
general purpose
knowledge base
requirements specification
building blocks
software engineering
software environment
cooperative
real world
model view controller