Login / Signup

Multiparadigm Specification Languages: A First Attempt at Foundations.

Egidio AstesianoMaura Cerioli
Published in: Semantics of Specification Languages (1993)
Keyphrases
  • specification languages
  • formal specification
  • object oriented programs
  • artificial intelligence
  • first order logic
  • machine learning
  • database
  • knowledge base
  • fine grained