Transferring Formal Techniques to Industry.
Roger DukeGordon A. RoseGraeme SmithPublished in: FORTE (1990)
Keyphrases
- formal model
- case study
- fastest growing
- world wide
- transfer learning
- target audience
- current practices
- formal models
- software engineering
- training data
- decision trees
- expert systems
- databases
- formal specification
- metadata
- knowledge base
- economic development
- mathematical theory
- formal language
- decision making
- real world
- neural network