Black-Box Specification in Spec

@article{Berzins1991BlackBoxSI,
  title={Black-Box Specification in Spec},
  author={Valdis Berzins},
  journal={Comput. Lang.},
  year={1991},
  volume={16},
  pages={113-127}
}
Abstract This paper presents a language for giving black-box specifications in the early stages of software design. The underlying computational model combines message passing with temporal events in a precisely defined way. The features of the language, especially those important for large scale design are presented by means of examples. 

Topics from this paper.