Salient Features of an Executable Specification Language and Its Environment

Pamela Zave, William Schell. Salient Features of an Executable Specification Language and Its Environment. IEEE Trans. Software Eng., 12(2):312-325, 1986.

@article{ZaveS86,
  title = {Salient Features of an Executable Specification Language and Its Environment},
  author = {Pamela Zave and William Schell},
  year = {1986},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ZaveS86},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {12},
  number = {2},
  pages = {312-325},
}