Login / Signup
Operational specification languages.
Pamela Zave
Published in:
ACM Annual Conference (1983)
Keyphrases
</>
expert systems
specification languages
formal specification
object oriented programs
first order logic
decision making
bayesian networks
information technology
cost reduction
reverse engineering
life cycle
classification rules
real world
data structure
objective function
e learning
information systems