One, None, A Hundred Thousand Specification Languages (Invited Paper).

Joseph A. Goguen

Published in: IFIP Congress (1986)

Keyphrases

invited paper
specification languages
formal specification
object oriented programs
first order logic
database
databases
lecture notes
model checking
website
neural network
recent advances
knowledge discovery
information technology
web pages
artificial intelligence
machine learning