A formal methods approach to semiotic engineering.
Andrew J. AbbateEllen J. BassPublished in: Int. J. Hum. Comput. Stud. (2018)
Keyphrases
- formal methods
- software engineering
- artificial intelligence
- safety critical
- development lifecycle
- model checker
- formal analysis
- knowledge based systems
- model checking
- engineering design
- process algebra
- provably correct
- formal specification
- computer science
- security properties
- software development
- case study
- distributed systems
- software systems
- data mining
- life cycle
- modeling language
- data model
- natural language
- machine learning