OASIS(ID:7790/)

Object specification language
References:
  • Pasor, O. "Oasis: an object-oriented specification language," Hewlett- Packard Labs., Bristol, UK, Tech. Rep. HPL-91-48, 1991 view details