Login / Signup

Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft.

Andrzej Tarlecki
Published in: ESOP (1992)
Keyphrases
  • specification language
  • probabilistic model
  • probability distribution
  • computational model
  • access control
  • mathematical model
  • databases
  • high level