SOFL: A Formal Engineering Methodology for Industrial Applications.
Shaoying LiuA. Jefferson OffuttChris Ho-StuartYong SunMitsuru OhbaPublished in: IEEE Trans. Software Eng. (1998)
Keyphrases
- industrial applications
- systems engineering
- industrial systems
- formal ontologies
- software engineering
- engineering design
- artificial intelligence
- computational modeling
- formal model
- neural network
- formal methods
- mathematical theory
- knowledge representation
- engineering problems
- formal language
- mechanical engineering
- case study