Skip to main content

Questions tagged [object-oriented]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
67 views

Specification language for specifying both Objects and Primitive data types

I am looking for an specification language, which supports both primitive data types and objects. I already know about Object-Z. But I am wondering if there is any other Specification language that I ...
qartal's user avatar
  • 101