Simplified Specification Languages for Flexible and Agile Modelling.
Kevin LanoShichao FangHessa AlfraihiShekoufeh Kolahdouz RahimiPublished in: MoDELS (Companion) (2019)
Keyphrases
- specification languages
- formal specification
- object oriented programs
- first order logic
- information retrieval
- supply chain management
- project management
- expert systems
- search algorithm
- knowledge acquisition
- model checking
- image sequences
- reverse engineering
- database systems
- search engine
- artificial intelligence
- machine learning