Login / Signup

Animating Formal Specifications with Inheritance in a DL-Based Framework.

Pedro SánchezPatricio LetelierIsidro Ramos
Published in: Requir. Eng. (1999)
Keyphrases
  • formal specification
  • expert systems
  • data model
  • virtual environment
  • data modeling