Login / Signup

On the underlying logics of specification languages.

Raymond D. Gumb
Published in: ACM SIGSOFT Softw. Eng. Notes (1982)
Keyphrases
  • specification languages
  • formal specification
  • object oriented programs
  • expressive power
  • first order logic
  • inference rules
  • modal logic
  • genetic algorithm
  • search engine
  • database systems
  • fuzzy logic
  • temporal logic